User Tools

Site Tools

Deciding Properties of Contract-Signing Protocols (BibTeX)

  author = {Detelf K{\"a}hler and Ralf K{\"u}sters and Thomas Wilke},
  title = {{Deciding Properties of Contract-Signing Protocols}},
  institution = {Institut f{\"u}r Informatik und Praktische Mathematik, CAU Kiel, Germany},
  year = 2004,
  number = 0409,
  abstract = {We show that for infinite transition systems induced by cryptographic protocols in the Rusinowitch/Turuani style with finite number of sessions, unbounded message size, and the Dolev-Yao intruder certain fundamental branching properties are decidable. As a consequence, we obtain that crucial properties of contract-signing protocols such as balance are decidable.}