Secrecy in programming-language semantics

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 80-94

  Abadi, Martín ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; CRYPTOGRAPHY; DATA PRIVACY; NETWORK PROTOCOLS; SECURITY OF DATA; SEMANTICS;

DENOTATIONAL SEMANTICS; OPERATIONAL PROOFS; PROGRAM TYPECHECKS; PROGRAMMING LANGUAGE THEORY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0005294877     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80068-9     Document Type: Conference Paper

References (28)

1. Martín Abadi. Secrecy by typing in security protocols. In Theoretical Aspects of Computer Software, volume 1281 of Lecture Notes in Computer Science, pages 611-638. Springer-Verlag, 1997.
2. Martín Abadi, Protection in programming-language translations, In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, July 1998, pages 868-883. Also Digital Equipment Corporation Systems Research Center report No. 154, April 1998.
3. Martín Abadi, Protection in programming-language translations, In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, July 1998, pages 868-883. Also Digital Equipment Corporation Systems Research Center report No. 154, April 1998.
4. Martín Abadi, Security protocols and specifications, In: Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS '99, Springer-Verlag, March 1999, pp. 1-13.
5. Martín Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke, A core calculus of dependency, In: Proceedings of the 26th ACM Symposium on Principles of Programming Languages, January 1999, pp. 147-160.
6. Martín Abadi, Cédric Fournet, and Georges Gonthier, Secure implementation of channel abstractions, In: Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, June 1998, pp. 105-116.
7. Martín Abadi and Andrew D. Gordon, A calculus for cryptographic protocols: The spi calculus, Information and Computation 148 (1999), An extended version appeared as Digital Equipment Corporation Systems Research Center report No. 149, January 1998.
8. Martín Abadi and Andrew D. Gordon, A calculus for cryptographic protocols: The spi calculus, Information and Computation 148 (1999), An extended version appeared as Digital Equipment Corporation Systems Research Center report No. 149, January 1998.
9. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne Riis Nielson, Control flow analysis for the π-calculus, In: CONCUR '98: Concurrency Theory, Lecture Notes in Computer Science 1466 1998, pp. 84-98.
10. De Nicola Rocco, Hennessy Matthew. Testing equivalences for processes. Theoretical Computer Science. 34:1984;83-133
11. Denning Dorothy E. Cryptography and Data Security. 1982;Addison-Wesley, Reading, Mass
12. Dolev Danny, Yao Andrew C. On the security of public key protocols. IEEE Transactions on Information Theory IT-29. 12:1983;198-208
13. Nevin Heintze and Jon G. Riecke, The SLam calculus: programming with secrecy and integrity, In: Proceedings of the 25th ACM Symposium on Principles of Programming Languages, 1998, pp. 365-377.
14. K. Rustan M. Leino and Rajeev Joshi, A semantic approach to secure information flow, In: Mathematics of Program Construction, 4th International Conference, Lecture Notes in Computer Science 1422 (1998), pp. 254-271.
15. Pasquale Malacaria and Chris Hankin, Non-deterministic games and program analysis: An application to security, In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science 1999, To appear.
16. McLean John. Security models. Marciniak John. Encylopedia of Software Engineering. 1994;Wiley & Sons
17. Milner Robin. Functions as processes. Mathematical Structures in Computer Science. 2:1992;141-199
18. Milner Robin, Parrow Joachim, Walker David. A calculus of mobile processes, parts I and II. Information and Computation. 100:1992;1-40. pages 41-77
19. Mizuno Masaaki, Schmidt David. A security flow control algorithm and its denotational semantics correctness proof. Formal Aspects of Computing. 4:1992;727-754
20. Moggi Eugenio. Notions of computation and monads. Information and Control. 93:1991;55-92
21. Andrew C. Myers, JFlow: Practical mostly-static information flow control, In: Proceedings of the 26th ACM Symposium on Principles of Programming Languages, January 1999, pp. 228-241.
22. Andrew C. Myers and Barbara Liskov, A decentralized model for information flow control, In: Proceedings of the 16th ACM Symposium on Operating System Principles, 1997, pp. 129-142.
23. Øbæk P., Palsberg J. Trust in the λ-calculus. Journal of Functional Programming. 7:1997;557-591
24. James Riely and Matthew Hennessy, Trust and partial typing in open systems of mobile agents, In: Proceedings of the 26th ACM Symposium in Principles of Programming Languages, January 1999, pp. 93-104.
25. A. Sabelfeld and D. Sands, A per model of secure information flow in sequential programs, In: Proceedings of the 8th European Symposium on Programming, ESOP '99, March 1999, pp. 40-58.
26. Geoffrey Smith and Dennis Volpano, Secure information flow in a multi-threaded imperative language, In: Proceedings of the 25th ACM Symposium on Principles of Programming Languages, 1998, pp. 355-364.
27. D. Tarditi, G. Morrisett, P. Cheng. C. Stone, R. Harper, and P. Lee, TIL: A type-directed optimizing compiler for ML, In: Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, 1996, pp. 181-192.
28. Volpano Dennis, Irvine Cynthia, Smith Geoffrey. A sound type system for secure flow analysis. Journal of Computer Security. 4:1996;167-187