Sciweavers

STACS
2005
Springer

Deciding Properties of Contract-Signing Protocols

14 years 5 months ago
Deciding Properties of Contract-Signing Protocols
Abstract. We show that for infinite transition systems induced by cryptographic protocols in the Rusinowitch/Turuani style certain fundamental branching properties are decidable. As a consequence, we obtain that crucial properties of contract-signing protocols such as balance are decidable.
Detlef Kähler, Ralf Küsters, Thomas Wilk
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where STACS
Authors Detlef Kähler, Ralf Küsters, Thomas Wilke
Comments (0)