Deciding strategy properties of contract-signing protocols

DOI10.1145/1740582.1740585zbMath1351.94053OpenAlexW1977276947MaRDI QIDQ2946605

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

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1740582.1740585

zbMATH Keywords

decidabilitycontract signingautomatic security analysis

Mathematics Subject Classification ID

Applications of game theory (91A80) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

This page was built for publication: Deciding strategy properties of contract-signing protocols