A type system for computationally secure information flow

Lecture Notes in Computer Science

Volumn 3623, Issue , 2005, Pages 365-377

  Laud, Peeter ^a   Vene, Varmo ^a  

^a UNIVERSITY OF TARTU   (Estonia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; CRYPTOGRAPHY; SECURITY OF DATA;

INFORMATION FLOW; SYMMETRIC ENCRYPTION;

INFORMATION ANALYSIS;

EID: 26844509701     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11537311_32     Document Type: Conference Paper

References (27)

1. Abadi, M.: Secrecy by Typing in Security Protocols. Journal of the ACM 46 (1999) 749-786
2. Abadi, M., Blanchet, B.: Secrecy types for asymmetric communication. Theoretical Computer Science 298 (2003) 387-415
3. Abadi, M., Gordon, A.: A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation 148 (1999) 1-70
4. Abadi, M., Jürjens, J.: Formal Eavesdropping and Its Computational Interpretation. In proc. of TACS 2001 (LNCS 2215), pages 82-94
5. Abadi, M., Rogaway, P.: Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). In proc. of the International Conference IFIP TCS 2000 (LNCS 1872), pages 3-22
6. Backes, M., Pfitzmann, B.: Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. In proc. of CSFW 2004, pages 204-218
7. Canetti, R.: Universally Composable Security: A New Paradigm for Cryptographic Protocols. In proc. of FOCS'01, pages 136-145
8. Denning, D.: A Lattice Model of Secure Information Flow. Communications of the ACM 19 (1976) 236-243
9. Denning, D., Denning, P.: Certification of Programs for Secure Information Flow. Communications of the ACM 20 (1977) 504-513
10. Dolev, D., Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory IT-29 (1983) 198-208
11. Laud, P.: Semantics and Program Analysis of Computationally Secure Information Flow. In proc of. ESOP 2001 (LNCS 2028), pages 77-91
12. Laud, P.: Encryption Cycles and Two Views of Cryptography. In proc. of Nordsee 2002, pages 85-100
13. Laud, P.: Handling Encryption in Analyses for Secure Information Flow. In proc. of ESOP 2003 (LNCS 2618), pages 159-173
14. Laud, P., Vene, V.: A Type System for Computationally Secure Information Flow. Tech. Report IT-LU-O-043-050307, Cybernetica AS, March 7th 2005.
15. Lincoln, P., Mitchell, J., Mitchell, M., Scedrov, A.: A Probabilistic Poly-Time Framework for Protocol Analysis. In proc. of ACM CCS'98, pages 112-121
16. Lincoln, P., Mitchell, J., Mitchell, M., Scedrov, A.: Probabilistic Polynomial-Time Equivalence and Security Analysis. In proc. of the World Congress on Formal Methods in the Development of Computing Systems'99 (LNCS 1708), pages 776-793
17. Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley (1999)
18. Myers, A.C.: JFlow: Practical Mostly-Static Information Flow Control. In proc. of POPL'99, pages 228-241
19. Sabelfeld, A., Myers, A.C.: Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications 21 (2003) 5-19
20. Pfitzmann, B., Waidner, M.: A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. In proc. of IEEE S&P 2001, pages 184-200
21. Smith, G., Volpano, D.: Secure Information Flow in a Multi-threaded Imperative Language. In proc. of POPL'98, pages 355-364
22. Volpano, D.: Secure Introduction of One-way Functions. In proc. of CSFW'00, pages 246-254
23. Volpano, D., Smith, G., Irvine, C.: A Sound Type System for Secure Flow Analysis. Journal of Computer Security 4 (1996) 167-187
24. Volpano, D.M., Smith, G.: Eliminating Covert Flows with Minimum Typings. In proc. of CSFW'97, pages 156-169
25. Volpano, D., Smith, G.: Probabilistic Noninterference in a Concurrent Language. In proc. of CSFW'98, pages 34-43
26. Volpano, D., Smith, G.: Verifying Secrets and Relative Secrecy. In: proc. of POPL 2000, pages 268-276
27. Yao, A.: Theory and applications of trapdoor functions (extended abstract). In proc. of FOCS'82, pages 80-91