Validation of Prouve Protocols using the Automatic Tool TA4SP - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

Validation of Prouve Protocols using the Automatic Tool TA4SP

Résumé

We present a new process permitting to automatically analyze security protocols, specified in a very powerful language, Prouve, permitting to describe the roles of the participants as real programs. We have built a translator from Prouve specifications to a rule-based language used as input language by several very efficient protocol analyzers. This has permitted us to successfully validate confidentiality properties of several protocols with the TA4SP tool.
Fichier non déposé

Dates et versions

inria-00105533 , version 1 (11-10-2006)

Identifiants

  • HAL Id : inria-00105533 , version 1

Citer

Yohan Boichut, Nikolai Kosmatov, Laurent Vigneron. Validation of Prouve Protocols using the Automatic Tool TA4SP. 3rd Taiwanese-French Conference on Information Technology, Mar 2006, Nancy/France, pp.467-480. ⟨inria-00105533⟩
100 Consultations
0 Téléchargements

Partager

More