Epistemic Verification of Anonymity

Electronic Notes in Theoretical Computer Science

Volumn 168, Issue SPEC. ISS., 2007, Pages 159-174

  van Eijck, Jan ^a,b   Orzan, Simona ^c  

^a CWI   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

anonymity; dynamic epistemic modeling; protocol verification

Indexed keywords

AUTOMATA THEORY; BROADCASTING; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

ANONYMITY; DYNAMIC EPISTEMIC MODELING; ELECTRONIC VOTING PROTOCOL; PROTOCOL VERIFICATION;

LOGIC PROGRAMMING;

EID: 33846808999     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.08.026     Document Type: Article

References (33)

1. Baltag A. A logic for suspicious players: epistemic action and belief-updates in games. Bulletin of Economic Research 54 (2002) 1-45
2. Baltag A., and Moss L.S. Logics for Epistemic Programs. Synthese 139 (2004) 165-224
3. Baltag, A., L.S. Moss and S. Solecki, The logic of public announcements, common knowledge, and private suspicions, Technical report, Dept. of Cognitive Science, Indiana University and Dept. of Computing, Oxford University (2003)
4. Bhargava M., and Palamidessi C. Probabilistic Anonymity. Proceedings CONCUR'05. LNCS 3653 (2005) 171-185
5. Bleeker, A. and J. van Eijck, Epistemic Action and Change, in: LOFT-4 Proceedings, 2000
6. Blom S.C.C., Fokkink W.J., Groote J.F., van Langevelde I., Lisser B., and van de Pol J.C. μCRL: A Toolset for Analysing Algebraic Specifications. Proc. CAV'01. LNCS 2102 (2001) 250-254
7. Burrows M., Abadi M., and Needham R. A Logic of Authentication. Practical Cryptography for Data Internetworks (1996), IEEE Computer Society Press
8. Reprinted from the Proceedings of the Royal Society, volume 426, number 1871, 1989
9. Chaum D. The dining cryptographers problem: unconditional sender and receiver untraceability. Journal of Cryptology 1 (1988) 65-75
10. Chellas B.F. Modal Logic: An Introduction (1980), Cambridge University Press
11. Chothia, T., S.M. Orzan and J. Pang, Automatically Checking Anonymity Using Distributed mCRL (2006), under submission. Draft available from http://www.win.tue.nl/~sorzan/anonmcrl.pdf
12. CWI, LYS (2005), available from. http://www.win.tue.nl/~sorzan/lys/
13. Fagin R., Halpern J.Y., Moses Y., and Vardi M.Y. Reasoning about Knowledge (1995), MIT Press
14. Fernandez J.-C., Garavel H., Kerbrat A., Mounier L., Mateescu R., and Sighireanu M. CADP - a protocol validation and verification toolbox. Proceedings CAV'96. LNCS 1102 (1996) 437-440
15. Fujioka A., Okamoto T., and Ohta K. A Practical Secret Voting Scheme for Large Scale Elections. ASIACRYPT. LNCS 718 (1992) 244-251
16. Garcia, F.D., I. Hasuo, P. van Rossum and W. Pieters, Provable Anonymity, in: Proceedings of the ACM Workshop on Formal Methods in Security Engineering (FMSE'05) (2005), pp. 63-72
17. Halpern J.Y., and O'Neill K.R. Anonymity and Information Hiding in Multiagent Systems. Journal of Computer Security (2005) 483-514
18. Harel D. Dynamic Logic. In: Gabbay D., and Guenther F. (Eds). Handbook of Philosophical Logic Volume II - Extensions of Classical Logic (1984), Reidel 497-604
19. Harel D., Kozen D., and Tiuryn J. Dynamic Logic (2000), MIT Press
20. Hintikka J. Knowledge and Belief: An Introduction to the Logic of the Two Notions (1962), Cornell University Press, Ithaca N.Y.
21. Hommersom A., Meyer J.-J., and de Vink E.P. Update Semantics of Security Protocols. Synthese 142 (2004) 229-267
22. Hughes D., and Shmatikov V. Information Hiding, Anonymity and Privacy: A Modular Approach. Journal of Computer Security 12 (2004) 3-36
23. Kremer S., and Ryan M.D. Analysis of an Electronic Voting Protocol in the Applied Pi-Calculus. Programming Languages and Systems - Proceedings of the 14th European Symposium on Programming. (ESOP'05). LNCS 3444 (2005) 186-200
24. Nirmal, S., "Verification of Security Protocols: tool support for Update Semantics," Master's thesis, Technical University Eindhoven (2005)
25. Pratt V. Application of modal logic to programming. Studia Logica 39 (1980) 257-274
26. Raimondi F., and Lomuscio A. A Tool for Specification and Verification of Epistemic Properties in Interpreted Systems. Electronic Notes in Theoretical Computer Science 85 (2004)
27. Schneider S., and Sidiropoulos A. CSP and Anonymity. In: Bertino E., Kurth H., Martella G., and Montolivo E. (Eds). Proc. ESORICS'96. LNCS 1146 (1996) 198-218
28. van Benthem, J., J. van Eijck and B. Kooi, Logics of Communication and Change, Information and Computation (2006), to appear
29. van der Meyden R. Common Knowledge and update in finite environments. Information and Computation 140 (1998) 115-157
30. van der Meyden, R. and K. Su, Symbolic Model Checking the Knowledge of the Dining Cryptographers, in: Proc. CSFW'04, Pacific Grove (2004), pp. 280-291
31. van Ditmarsch H., van der Hoek W., van der Meyden R., and Ruan J. Model Checking Russian Cards. In: Pecheur C., and Williams B. (Eds). Proc. MoChArt'05. ENTCS 149 2 (2006) 105-123
32. van Eijck J. DEMO program and documentation. available from (2005). http://www.cwi.nl/~jve/demo/
33. van Eijck, J. and S.M. Orzan, Modelling the Epistemics of Communication with Functional Programming, in: M. van Eekelen, editor, Sixth Symposium on Trends in Functional Programming TFP'05, Institute of Cybernetics, Tallinn Technical University, Tallinn, 2005, pp. 44-59