A note on the perfect encryption assumption in a process calculus

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

Volumn 2987, Issue , 2004, Pages 514-528

  Zunino, Roberto ^a   Degano, Pierpaolo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY;

CRYPTOGRAPHIC PRIMITIVES; PERFECT ENCRYPTION; PROCESS CALCULI; SECRECY PROPERTIES;

CALCULATIONS;

EID: 35048850444     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24727-2_36     Document Type: Article

References (13)

1. Martín Abadi. Secrecy by typing in security protocols. Journal of the ACM, 5(46): 18-36, September 1999.
2. Martín Abadi and Andrew D. Gordon. A calculus for cryptographic protocols: The Spi calculus. Journal of Information and Computation, 148(1):1-70, 1999.
3. Martín Abadi and Jan Jurjens. Formal eavesdropping and its computational interpretation. Lecture Notes in Computer Science, 2215:82, 2001.
4. Martín Abadi and Phillip Rogaway. Reconciling two views of cryptography (the computational soundness of formal encryption). In IFIP TCS2000, Sendai, Japan, 2000. Springer-Verlag, Berlin Germany.
5. Michael Backes and Christian Jacobi. Cryptographically sound and machineassisted verification of security protocols. In Proceedings of 20th International Symposium on Theoretical Aspects of Computer Science, STACS '03, pages 675-686. Springer-Verlag, 2003.
6. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne Riis Nielson. Static analysis for the π-calculus with application to security. Information and Computation, 168, 2001.
7. David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantitative analysis of the leakage of confidential data. In Alessandra Di Pierro and Herbert Wiklicky, editors, ENTCS, volume 59. Elsevier, 2002.
8. Kim G. Larsen and Arne Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):l-28, September 1991.
9. J. K. Millen. The interrogator: A tool for cryptographic protocol security. In Proceedings of the 1984 Symposium on Security and Privacy (SSP '84), pages 134-141, Los Angeles, Ca., USA, April 1990. IEEE Computer Society Press.
10. Robin Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, May 1999.
11. J. C. Mitchell, M. Mitchell, and U. Stern. Automated analysis of cryptographic protocols using murø. In Proceedings of the 1997 Conference on Security and Privacy pages 141-153. IEEE Computer Society Press, 1997.
12. Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky. Approximate noninterference. In Proceedings of CSFW'02 - 15th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada, 2002.
13. Angelo Troina, Alessandro Aldini, and Roberto Gorrieri. A probabilistic formulation of imperfect cryptography. In N. Busi, R. Gorrieri, and F. Martinelli, editors, Proceedings of Int. Workshop on Issues in Security and Petri Nets (WISP'03), pages 41-55, June 2003.