Formal Verification of e-Auction Protocols

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Auctions, bargaining, bidding and selling, and other market models (91B26) Network protocols (68M12) Internet topics (68M11)

Related Items

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

• ProVerif