Refinement of Kripke Models for dynamics

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

Volumn 5160 LNCS, Issue , 2008, Pages 111-125

  Dechesne, Francien ^a   Orzan, Simona ^a   Wang, Yanjing ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BROADCASTING; CANNING; COMMUNICATION; ERROR ANALYSIS;

COMMUNICATION PROTOCOLS; DYNAMIC PROPERTIES; KRIPKE MODELING; LABELLED TRANSITION SYSTEMS; PROPERTY-PRESERVING; PUBLIC BROADCASTING; STATIC MODELLING;

ABSTRACTING;

EID: 52049115472     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85762-4_8     Document Type: Conference Paper

References (22)

1. Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165-224 (2004)
2. van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation (2006)
3. Bruns, G., Godefroid, P.: Model checking with multi-valued logics. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142. Springer, Heidelberg (2004)
4. Burrows, M., Abadi, M., Needham, R.: A logic of authentication. In: Practical Cryptography for Data Internetworks. IEEE Computer Society Press, Los Alamitos (1996)
5. Dechesne, F., Mousavi, M., Orzan, S.M.: Operational and epistemic approaches to protocol analysis: Bridging the gap. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790. Springer, Heidelberg (2007)
6. Dechesne, F., Wang, Y.: Dynamic epistemic verification of security protocols: framework and case study. In: A Meeting of the minds: Proceedings LORI workshop. Texts in Computer Science, pp. 129-144 (2007)
7. van Eijck, J.: DEMO program and documentation (2005), http://www.cwi.nl/∼jve/demo/
8. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
9. Godefroid, P., Jagadeesan, R.: Automatic abstraction using generalized model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 137-150. Springer, Heidelberg (2002)
10. Halpern, J.Y., O'Neill, K.R.: Anonymity and information hiding in multiagent systems. Journal of Computer Security, 483-514 (2005)
11. van der Hoek, W., Wooldridge, M.: Model checking knowledge and time. In: Bošnački, D., Leue, S. (eds.) SPIN 2002. LNCS, vol. 2318, pp. 95-111. Springer, Heidelberg (2002)
12. Hommersom, A., Meyer, J.-J., de Vink, E.P.: Update semantics of security protocols. Synthese 142, 229-267 (2004); Knowledge, Rationality and Action subseries
13. Hughes, D., Shmatikov, V.: Information hiding, anonymity and privacy: A modular approach. Journal of Computer Security 12(1), 3-36 (2004)
14. Huth, M., Jagadeesan, R., Schmidt, D.: Modal transition systems: A foundation for three-valued program analysis. In: Sands, D. (ed.) ESOP 2001. LNCS, vol. 2028. Springer, Heidelberg (2001)
15. Larsen, K.G.: Modal specifications. In: Automatic Verification Methods for Finite State Systems, pp. 232-246 (1989)
16. Larsen, K.G., Thomsen, B.: A modal process logic. In: Proceedings LICS, pp. 203- 210 (1988)
17. van der Meyden, R., Su, K.: Symbolic model checking the knowledge of the dining cryptographers. In: Proc. CSFW 2004, pp. 280-291. IEEE, Los Alamitos (2004)
18. Plaza, J.A.: Logics of public communications. In: Proceedings ISMIS 1989, pp. 201-216 (1989)
19. Raimondi, F., Lomuscio, A.: Automatic verification of deontic interpreted systems by model checking via OBDD's. Journal of Applied Logic (2006)
20. van de Pol, J.C., Valero Espada, M.: Modal abstractions in μCRL*. In: AMAST, pp. 409-425 (2004)
21. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamnic Epistemic Logic. Syn-these Library, vol. 337. Springer, Heidelberg (2008)
22. van Eijck, J., Orzan, S.M.: Epistemic verification of anonymity. ENTCS, 168 (2007)