Elements of Epistemic Crypto Logic (Extended Abstract)

Abstract : Representation of ignorance about large numbers --- agent a does not know agent b's key --- is not feasible in standard Kripke semantics. The paper introduces register models that allow for compact representation of such ignorance. This is used to design a sound an complete language for number guessing games. The probabilities generated by our semantics allow for and motivate Monte Carlo model checking for register models. We show that the approach can be extended to a real life setting, namely the analysis of cryptographic security protocols. We look at a well known security protocol for secret key distribution over an insecure network, and point out how this can be analyzed with our modified version of Kripke semantics.
Type de document :
Communication dans un congrès
Bordini and Elkind and Weiss and Yolum. AAMAS 2015 - Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems , 2015, Istanbul, Turkey. pp.1795-1796, 2015
Liste complète des métadonnées

https://hal.inria.fr/hal-01261489
Contributeur : Tijs Van Der Storm <>
Soumis le : lundi 25 janvier 2016 - 14:07:01
Dernière modification le : lundi 14 mars 2016 - 11:44:42

Identifiants

  • HAL Id : hal-01261489, version 1

Collections

Citation

Jan Van Eijck, Malvin Gattinger. Elements of Epistemic Crypto Logic (Extended Abstract). Bordini and Elkind and Weiss and Yolum. AAMAS 2015 - Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems , 2015, Istanbul, Turkey. pp.1795-1796, 2015. 〈hal-01261489〉

Partager

Métriques

Consultations de la notice

95