A Dolev-Yao-Based Definition of Abuse-Free Protocols

DOI10.1007/11787006_9zbMath1133.94346OpenAlexW2108422290MaRDI QIDQ3591450

Detlef Kähler, Thomas Wilke, Ralf Küsters

Publication date: 11 September 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://macau.uni-kiel.de/receive/macau_mods_00001885

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Related Items

Fair multi-party contract signing using private contract signatures