User Tools

Site Tools

Deciding Properties of Contract-Signing Protocols (BibTeX)

  author = {Detlef K{\"a}hler and Ralf K{\"u}sters and Thomas Wilke},
  title = {{Deciding Properties of Contract-Signing Protocols}},
  booktitle = {Proceedings of the 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005)},
  editor = {V.~Diekert and B.~Durand},
  number = 3404,
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  year = 2005,
  pages = {158--169},
  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.}