Validation of Prouve Protocols using the Automatic Tool TA4SP - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Validation of Prouve Protocols using the Automatic Tool TA4SP

Abstract

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00105533 , version 1

Cite

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⟩
89 View
0 Download

Share

Gmail Facebook X LinkedIn More