Epistemic logic for the applied Pi calculus

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

Volumn 5522 LNCS, Issue , 2009, Pages 182-197

  Chadha, Rohit ^a   Delaune, Stéphanie ^b   Kremer, Steve ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPLIED PI CALCULUS; ELECTRONIC VOTING; EPISTEMIC LOGIC; MODELING CRYPTOGRAPHIC PROTOCOLS; PI CALCULUS; PROCESS CALCULI; SECURITY PROPERTIES; NATURAL MEANS;

BIOMINERALIZATION; CALCULATIONS; CRYPTOGRAPHY; FORMAL METHODS; NETWORK PROTOCOLS; MOBILE SECURITY; NETWORK SECURITY;

NETWORK SECURITY; CALCULATIONS;

EID: 70349332796     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02138-1_12     Document Type: Conference Paper

References (21)

1. Abadi, M., Cortier, V.: Deciding knowledge in security protocols under equational theories. Theoretical Computer Science 387(1-2), 2-32 (2006)
2. Abadi, M., Fournet, C.:Mobile values, new names, and secure communication. In: Proc. 28th Symposium on Principles of Programming Languages, pp. 104-115 (2001)
3. Backes,M., Maffei,M., Unruh, D.: Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol. In: Proc. 29th IEEE Symposium on Security and Privacy (2008)
4. Baskar, A., Ramanujam, R., Suresh, S.P.: Knowledge-based modelling of voting protocols. In: Proc. 11th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 62-71 (2007)
5. Blanchet, B.: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In: Proc. 14th Computer Security Foundations Workshop, pp. 82-96 (2001)
6. Blanchet, B.: From Secrecy to Authenticity in Security Protocols. In: 9th International Static Analysis Symposium, pp. 342-359 (2002)
7. Borgström, J., Kramer, S., Nestmann, U.: Calculus of Cryptographic Communication. In: Proc. Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (2006)
8. Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Trans. Comput. Syst. 8(1), 18-36 (1990)
9. Chadha, R., Delaune, S., Kremer, S.: Epistemic logic for the applied pi-calculus. Research Report LSV-09-06, Laboratoire Spécification et Vérification, ENS Cachan, France (March 2009)
10. Chadha, R., Kremer, S., Scedrov, A.: Formal analysis of multi-party contract signing. Journal of Automated Reasoning 36(1-2), 39-83 (2006)
11. Cohen, M., Dam, M.: A complete axiomatization of knowledge and cryptography. In: Proc. 22nd IEEE Symposium on Logic in Computer Science, pp. 77-88 (2007)
12. Corin, R., Saptawijaya, A., Etalle, S.: PS-LTL for constraint-based security protocol analysis. In: Proc. 21st International Conference on Logic Programming, pp. 439-440 (2005)
13. Dechesne, F., Mousavi, M.R., Orzan, S.: Operational and epistemic approaches to protocol analysis: Bridging the gap. In: Proc. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, pp. 226-241 (2007)
14. Delaune, S., Kremer, S., Ryan, M.D.: Verifying privacy-type properties of electronic voting protocols. Journal of Computer Security (2009) (to appear)
15. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
16. Halpern, J.Y., O'Neill, K.R.: Anonymity and information hiding in multiagent systems. Journal of Computer Security 13(3), 483-512 (2005)
17. Hughes, D., Shmatikov, V.: Information hiding, anonymity and privacy: a modular approach. Journal of Computer Security 12(1), 3-36 (2004)
18. Hüttel, H., Pedersen, M.D.: A logical characterisation of static equivalence. Electr. Notes Theor. Comput. Sci. 173, 139-157 (2007)
19. Jonker, H., Pieters, W.: Receipt-freeness as a special case of anonymity in epistemic logic. In: Proc. IAVoSS Workshop On Trustworthy Elections (2006)
20. van Eijck, J., Orzan, S.: Epistemic verification of anonymity. Electr. Notes Theor. Comput. Sci. 168, 159-174 (2007)
21. Woo, T.Y.C., Lam, S.S.: A semantic model for authentication protocols. In: Proc. 14th IEEE Symposium on Security and Privacy (1993)