Deciding Properties of Contract-Signing Protocols

zum Volltext (268 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • September 2004
Seitenbereich31 S.

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.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000157
 
URN:NBNurn:nbn:de:gbv:8:1-zs-00000157-a6
IDNummer des Berichts :
  • TR_0409