Perfect cryptography, S5 knowledge, and algorithmic knowledge

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2007

Volumn , Issue , 2007, Pages 239-247

  Petride, Sabina ^a   Pucella, Riccardo ^b  

^a ORACLE CORPORATION   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHIC PROTOCOLS; MODEL EXTRACTION;

ALGORITHMS; KNOWLEDGE BASED SYSTEMS; MULTI AGENT SYSTEMS;

CRYPTOGRAPHY;

EID: 70350645240     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1324249.1324281     Document Type: Conference Paper

References (24)

1. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1):1-70, 1999. (Pubitemid 129608821)
2. M. Abadi and P. Rogaway. Reconciling two views of cryptography (the computational soundness of formal encryption). Journal of Cryptology, 15(2):103-127, 2002.
3. M. Abadi and M. R. Tuttle. A semantics for a logic of authentication. In Proc. 10th ACM Symposium on Principles of Distributed Computing (PODC'91), pages 201-216, 1991.
4. P. Adão, G. Bana, and A. Scedrov. Computational and information-theoretic soundness and completeness of formal encryption. In Proc. 18th IEEE Computer Security Foundations Workshop (CSFW'05), pages 170-184. IEEE Computer Society Press, 2005.
5. P. Bieber. A logic of communication in hostile environment. In Proc. 3rd IEEE Computer Security Foundations Workshop (CSFW'90), pages 14-22. IEEE Computer Society Press, 1990.
6. B. Blanchet. An efficient cryptographic protocol verifier based on Prolog rules. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW'01), pages 82-96. IEEE Computer Society Press, 2001.
7. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-36, 1990.
8. E.M. Clarke, S. Jha, and W. Marrero. Using state space exploration and a natural deduction style message derivation engine to verify security protocols. In Proc. IFIP Working Conference on Programming Concepts and Methods (PROCOMET), 1998.
9. D. Dolev and A. C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 29(2):198-208, 1983.
10. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.
11. L. Gong, R. Needham, and R. Yahalom. Reasoning about belief in cryptographic protocols. In Proc. 1990 IEEE Symposium on Security and Privacy, pages 234-248. IEEE Computer Society Press, 1990.
12. J. Y. Halpern and K. O'Neill. Secrecy in multiagent systems. In Proc. 15th IEEE Computer Security Foundations Workshop (CSFW'02), pages 32-46. IEEE Computer Society Press, 2002.
13. J. Y. Halpern and R. Pucella. Modeling adversaries in a logic for reasoning about security protocols. In Proc. Workshop on Formal Aspects of Security (FASec'02), volume 2629 of Lecture Notes in Computer Science, pages 115-132, 2002.
14. J. Hintikka. Knowledge and Belief. Cornell University Press, 1962.
15. G. Hughes and M. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.
16. D. Hutter and A. Schairer. Possibilistic information flow control in the presence of encrypted communication. In Proc. 9th European Symposium on Research in Computer Security (ESORICS'04), volume 3193 of Lecture Notes in Computer Science, pages 209-224. Springer-Verlag, 2004.
17. S. Kripke. A semantical analysis of modal logic I: normal modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9:67-96, 1963.
18. G. Lowe. Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 6:53-84, 1998.
19. J. Mitchell, M. Mitchell, and U. Stern. Automated analysis of cryptographic protocols using Mur'. In Proc. 1997 IEEE Symposium on Security and Privacy, pages 141-151. IEEE Computer Society Press, 1997.
20. L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1/2):85-128, 1998.
21. S. Schneider. Verifying authentication protocols in CSP. IEEE Transactions on Software Engineering, 24(9):741-758, 1998. (Pubitemid 128741979)
22. S. Stubblebine and R. Wright. An authentication logic supporting synchronization, revocation, and recency. In Proc. 3rd ACM Conference on Computer and Communications Security (CCS'96). ACM Press, 1996.
23. D. Sutherland. A model of information. In Proc. 9th National Computer Security Conference, pages 175-183, 1986.
24. P. F. Syverson and P. C. van Oorschot. On unifying some cryptographic protocol logics. In Proc. 1994 IEEE Symposium on Security and Privacy, pages 14-28. IEEE Computer Society Press, 1994.