Handling declared information leakage: Extended abstract

Proceedings of the 2005 Workshop on Issues in the Theory of Security, WITS '05

Volumn , Issue , 2005, Pages 1-4

  Echahed, R ^a   Prost, F ^a  

^a Leibniz Laboratory   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT DECLARATIVE PROGRAMMING; EXTENDED ABSTRACTS; FORMAL DEFINITION; FORMAL TOOLS; INFORMATION FLOWS; INFORMATION LEAKAGE; REWRITING SYSTEMS; SECURITY POLICY;

COMPUTER PROGRAMMING; SECURITY SYSTEMS; XML;

FORMAL LOGIC;

EID: 33746090523     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1045405.1045406     Document Type: Conference Paper

References (15)

1. G. Boudol and I. Castellani. Noninterference for concurrent programs and thread systems. Theoretical Computer Science, 281(1):109-130, 2002. Special issue: "Merci, Maurice, A mosaic in honour of Maurice Nivat" (P.-L. Curien, Ed.).
2. R. Echahed and F. Prost. Handling harmless interference (preliminary version). 2003. Avalaible at http://www-leibniz.imag.fr/LesCahiers/Cahier82/ ResumCahier82.html.
3. R. Echahed, F. Prost, and W. Serwe. Statically assuring secrecy for dynamic concurrent processes. 2003. proceedings of PPDP'03, preliminary version avalaible at http://www-leibniz.imag.fr/LesCahiers/2002/Cahier40/Resum-Cahier40. html.
4. st International Conference on Computational Logic (CL 2000), volume 1861 of Lecture Notes in Artificial Intelligence, pages 300-314, London, July 2000. Springer Verlag.
5. R. Echahed and W. Serwe. Integrating action definitions into concurrent declarative programming. Electronic Notes in Theoretical Computer Science, 64, Sept. 2002. special issue: selected papers of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001).
6. th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'04), Venice, Italy, Jan. 2004.
7. J. Goguen and J. Meseguer. Security policies and security models. In IEEE Symposium on Security and Privacy, pages 11-20. IEEE Computer Society Press, 1982.
8. H. Mantel and D. Sands. Controlled declassification based on intransitive noninterference. In 2nd ASIAN Symposium on Programming Languages and Systems, 2004.
9. A. C. Myers, A. Sabelfeld, and S. Zdancewic. Enforcing robust declassification. In 17th IEEE Computer Security Foundations Workshop, pages 172-186, 2004.
10. A. D. Pierro, C. Hankin, and H. Wiklicky. Approximate confinement under uniform attacks. In M. V. Hermenegildo and G. Puebla, editors, SAS'02 - Static Analysis, 9th International Symposium, number 2477 in Lecture Notes in Computer Science, Madrid, Spain, September 2002. Springer.
11. th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada, 2002.
12. th IEEE Computer Security Foundations Workshop, pages 237-238, Cape Breton, Nova Scotia, Canada, June 2001.
13. G. Smith and D. M. Volpano. Secure information flow in a multi-threaded imperative language. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98), pages 355-364, San Diego, Jan. 1998.
14. S. Zdancewic. A type system for robust declassification. In Annual Conference on the Mathematical Foundations of Programming Semantics, 2003.
15. S. Zdancewic and A. Myers. Robust declassification. In Proceedings of 14th IEEE CSFW, pages 15-23, Cape Breton, Nova Scotia, Canada, June 2001., 2001.