Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication

DOI10.1007/978-3-642-28641-4_8zbMath1354.94055OpenAlexW1554945394MaRDI QIDQ2894318

Simon Meier, David A. Basin, C. J. F. Cremers

Publication date: 29 June 2012

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-28641-4_8

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Related Items (5)

Detection and diagnosis of deviations in distributed systems of autonomous agents ⋮ Model Checking Security Protocols ⋮ Formal verification of fair exchange based on Bitcoin smart contracts ⋮ Alice and Bob Meet Equational Theories ⋮ FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes

Uses Software

• Casper

This page was built for publication: Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication