User Tools

Site Tools


Deciding Properties of Contract-Signing Protocols (BibTeX)

@INPROCEEDINGS{KaehlerKuestersWilke-STACS-2005,
  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.}
}