Logical Formalisation and Analysis of the Mifare Classic Card in PVS

DOI10.1007/978-3-642-22863-6_3zbMath1342.68288OpenAlexW1507859865MaRDI QIDQ3087992

Bart Jacobs, Ronny Wichers Schreur

Publication date: 17 August 2011

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/83531

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Uses Software

• Isabelle
• Isabelle/HOL
• PVS

Cites Work

• A survey of symbolic methods in computational analysis of cryptographic systems
• Isabelle/HOL. A proof assistant for higher-order logic
• Models and Proofs of Protocol Security: A Progress Report
• Formal certification of code-based cryptographic proofs
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical Formalisation and Analysis of the Mifare Classic Card in PVS