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
Conference Papers 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
A04-R-264.pdf (166.09 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00099889 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099889 , version 1

Cite

Yannick Chevalier. A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or. 18th International Workshop on Unification - UNIF'2004, Jul 2004, Cork, Ireland, 15 p. ⟨inria-00099889⟩
53 View
32 Download

Share

Gmail Facebook X LinkedIn More