Formal Verification of e-Auction Protocols
From MaRDI portal
Publication:5326763
DOI10.1007/978-3-642-36830-1_13zbMath1390.68078OpenAlexW2142836084MaRDI QIDQ5326763
Pascal Lafourcade, Jannik Dreier, Yassine Lakhneche
Publication date: 6 August 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-36830-1_13
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols ⋮ Secret, verifiable auctions from elections ⋮ Fairness analysis for multiparty nonrepudiation protocols based on improved strand space
Uses Software
This page was built for publication: Formal Verification of e-Auction Protocols
