Information flow security for XML transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2896, Issue , 2003, Pages 33-53

  Benzaken, Véronique ^a   Burelle, Marwan ^a   Castagna, Giuseppe ^b  

^a CNRS   (France)

^b ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY OF DATA;

CONFIDENTIAL INFORMATION; FORMAL DEFINITION; INFORMATION FLOW SECURITY; INFORMATION FLOWS; XML TRANSFORMATION;

XML;

EID: 0347586993     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40965-6_4     Document Type: Article

References (21)

1. M. Abadi, B. Lampson, and J.-J. Levy. Analysis and caching of dependencies. In ICFP '96, 1st ACM Conference on Functional Programming, pages 83-91, 1996.
2. V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-Centric General Purpose Language. In ICFP '03, 8th ACM Conference on Functional Programming, pages 51-63, 2003.
3. A. Christensen, A. Møller, and M. Schwartzbach. Extending Java for high-level web service construction. ACM TOPLAS, 2003. To appear.
4. S. Cluet and J. Siméon. Yatl: a functional and declarative language for XML, 2000. Draft manuscript.
5. S. Conchon. Modular information flow analysis for process calculi. In FCS 2002, Proceedings of the Foundations of Computer Security Workshop, Copenhagen, Denmark, 2002.
6. E. Damiani, S. De Capitani di Vimercati, S. Paraboschi, and P. Samarati. A fine-grained access control system for XML documents. ACM TOISS, 5(2): 169-202, 2002.
7. E. Damiani, S. De Capitani di Vimercati, S. Paraboschi, and P. Samarati. Design and implementation of an access control processor for XML documents. Computer Networks, 33(1-6):59-75, 2000.
8. M. Fernández, J. Siméon, and P. Wadler. An algebra for XML query. In FST&TCS, number 1974 in LNCS, pages 11-45, 2000.
9. A. Frisch, G. Castagna, and V. Benzaken. Semantic Subtyping. In LICS '02, Seventeenth Annual IEEE Symposium on Logic in Computer Science, pages 137-146, 2002.
10. A. Gabillon and E. Bruno. Regulating access to XML documents. In 15th Annual IFIP WG 11.3 Working Conference on Database Security., July 15-18 2001.
11. V. Gapayev and B. Pierce. Regular object types. In Proc. of ECOOP '03, Lecture Notes in Computer Science. Springer, 2003.
12. J.A. Goguen and J. Meseguer. Security policy and security models. In Proceedings of Symposium on Secrecy and Privacy, pages 11-20. IEEE Computer Society, april 1982.
13. H. Hosoya and B. Pierce. XDuce: A typed XML processing language. ACM TOIT, 2003. To appear.
14. IBM AlphaWorks. XML Security Suite. http://www.alphaworks.ibm.com/tech/xmlsecuritysuite.
15. A. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP), pages 129-142, 1997.
16. F. Pottier and S. Conchon. Information flow inference for free. In ICFP '00, 5th ACM Conference on Functional Programming, pages 46-57, September 2000.
17. F. Pottier and V. Simonet. Information flow inference for ML. ACM SIGPLAN Notices, 31(1):319-330, January 2002.
18. A. Sabelfeld and A. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, 2003.
19. D. Volpano and G. Smith. A type-based approach to program security. In TAPSOFT '97, number 1214 in Lecture Notes in Computer Science, pages 607-621. Springer, 1997.
20. D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):167-187, 1996.
21. C. Wallace and C. Runciman. Haskell and XML: Generic combinators or type based translation? In ICFP '99, 4th ACM Conference on Functional Programming, pages 148-159, 1999.