Verifying a Hotel Key Card System

DOI10.1007/11921240_1zbMath1168.68542OpenAlexW2139646834MaRDI QIDQ3525136

Tobias Nipkow

Publication date: 11 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11921240_1

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Formally verified algorithms for upper-bounding state space diameters, Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems, Monotonicity inference for higher-order formulas, Monotonicity Inference for Higher-Order Formulas, Hotel Key Card

Uses Software

• Isabelle/HOL
• Isabelle/Isar