A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2004

A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or

Abstract

We present a procedure for deciding security of protocols employing the Exclusive or operator. This procedure relies on a direct combination of a constraint solver for security protocol with a unification algorithm for the exclusive-or theory. Hence compared to the previous ones it is much simpler and easily amenable to automation. The principle of the approach can be applied to other theories too.
Fichier principal
Vignette du fichier
RR-5224.pdf (301.79 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00070771 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00070771 , version 1

Cite

Yannick Chevalier. A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or. [Research Report] RR-5224, INRIA. 2004, pp.35. ⟨inria-00070771⟩
65 View
62 Download

Share

Gmail Facebook X LinkedIn More