Using Backward Induction Techniques in (Timed) Security Protocols Verification

Abstract : This paper shows a new way of automatic verification of properties of untimed and timed security protocols. To do this we use a modified version of previously introduced formal model based on a network of synchronized (timed) automata that expreses behaviour and distributed knowledge of users during protocol executions. In our new approach we will use the backward induction method for searching of a tree of all real executions of an investigated protocol. Our approach uses additionally the boolean encoding of constructed structures and SAT solvers for searching answers to the questions about investigated properties which are expressed as reachability or unreachability of undesired states in a considered model. We exemplify all our notions and formalisms on the well known NSPK, and show experimental results for checking authentication and security properties of a few untimed and timed protocols.
Type de document :
Communication dans un congrès
Khalid Saeed; Rituparna Chaki; Agostino Cortesi; Sławomir Wierzchoń. 12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-8104, pp.265-276, 2013, Computer Information Systems and Industrial Management. 〈10.1007/978-3-642-40925-7_25〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01496073
Contributeur : Hal Ifip <>
Soumis le : lundi 27 mars 2017 - 11:01:24
Dernière modification le : mardi 28 mars 2017 - 01:07:11
Document(s) archivé(s) le : mercredi 28 juin 2017 - 13:13:46

Fichier

978-3-642-40925-7_25_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Mirosław Kurkowski, Olga Siedlecka-Lamch, Paweł Dudek. Using Backward Induction Techniques in (Timed) Security Protocols Verification. Khalid Saeed; Rituparna Chaki; Agostino Cortesi; Sławomir Wierzchoń. 12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-8104, pp.265-276, 2013, Computer Information Systems and Industrial Management. 〈10.1007/978-3-642-40925-7_25〉. 〈hal-01496073〉

Partager

Métriques

Consultations de la notice

110

Téléchargements de fichiers

18