To know or not to know: epistemic approaches to security protocol verification

Francien Dechesne Yanjing Wang 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Type de document :
Article dans une revue
Synthese, Springer Verlag (Germany), 2010, pp.1-26. 〈10.1007/s11229-010-9765-8〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00535883
Contributeur : Jurgen Vinju <>
Soumis le : samedi 13 novembre 2010 - 16:45:41
Dernière modification le : mercredi 7 octobre 2015 - 01:16:02

Identifiants

Collections

Citation

Francien Dechesne, Yanjing Wang. To know or not to know: epistemic approaches to security protocol verification. Synthese, Springer Verlag (Germany), 2010, pp.1-26. 〈10.1007/s11229-010-9765-8〉. 〈inria-00535883〉

Partager

Métriques

Consultations de la notice

65