Controlling the what and where of declassification in language-based security

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

Volumn 4421 LNCS, Issue , 2007, Pages 141-156

  Mantel, Heiko ^a   Reinhard, Alexander ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); DATA FLOW ANALYSIS; SECURITY OF DATA; SEMANTICS;

CONFIDENTIALITY GUARANTEES; DECLASSIFICATION; INFORMATION FLOW ANALYSIS; LANGUAGE BASED SECURITY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 37149055443     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71316-6_11     Document Type: Conference Paper

References (17)

1. A. Almeida Matos. Typing secure information flow: declassification and mobility. PhD thesis, École Nationale Supérieure des Mines de Paris, 2006.
2. A. Almeida Matos and G. Boudol. On declassification and the non-disclosure policy. In In Proc. IEEE Computer Security Foundations Workshop, 2005.
3. E. Cohen. Information transmission in sequential programs. In Foundations of Secure Computation, pages 297-335. Academic Press, 1978.
4. M. Dam and P. Giambiagi. Information flow control for cryptographic applets, 2003. Presentation at Dagstuhl Seminar on Language-Based Security, http://kathrin.dagstuhl.de/03411/Materials2/.
5. R. Giacobazzi and I. Mastroeni. Abstract non-interference: Parameterizing noninterference by abstract interpretation. In Proc. of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 186-197, 2004.
6. J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proceedings of the IEEE Symposium on Security and Privacy, pages 11-20, Oakland, CA, USA, 1982.
7. P. Li and S. Zdancewic. Downgrading policies and relaxed noninterference. In Proc. of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 158-170, New York, NY, USA, 2005.
8. G. Lowe. Quantifying information flow. In Proc. of the 15th IEEE Computer Security Foundations Workshop, page 18, Washington, DC, USA, 2002.
9. H. Mantel and D. Sands. Controlled Declassification based on Intransitive Non-interference. In Proceedings of the 2nd ASIAN Symposium on Programming Languages and Systems, APLAS 2004, LNCS 3303, pages 129-145, Taipei, Taiwan, 2004.
10. A. Di Pierro, C. Hankin, and H. Wiklicky. Approximate Non-interference. Journal of Computer Security, 12(1):37-81, 2004.
11. A. Sabelfeld. Confidentiality for Multithreaded Programs via Bisimulation. In Proceedings of Andrei Ershov 5th International Conference on Perspectives of System Informatics, number 2890 in LNCS, pages 260-274, 2003.
12. A. Sabelfeld and A. C. Myers. Language-based Information-Flow Security. IEEE Journal on Selected Areas in Communication, 21(1):5-19, 2003.
13. A. Sabelfeld and A. C. Myers. A model for delimited information release. In Proceedings of the International Symposium on Software Security, 2004.
14. A. Sabelfeld and D. Sands. A Per Model of Secure Information Flow in Sequential Programs. In Proceedings of the 8th European Symposium on Programming, LNCS, pages 50-59, 1999.
15. A. Sabelfeld and D. Sands. Probabilistic Noninterference for Multi-threaded Programs. In Proceedings of the 13th IEEE Computer Security Foundations Workshop, pages 200-215, Cambridge, UK, 2000.
16. A. Sabelfeld and D. Sands. Dimensions and Principles of Declassification. In Proceedings of the 18th IEEE Computer Security Foundations Workshop, pages 255-269. IEEE Computer Society, 2005.
17. S. Zdancewic and A. Myers. Robust declassification. In 14th IEEE Computer Security Foundations Workshop (CSFW '01), pages 15-26, Washington - Brussels - Tokyo, 2001.