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

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 : mardi 24 avril 2018 - 09:56:10

Lien texte intégral

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

91