Let’s Get Physical: Models and Methods for Real-World Security Protocols

DOI10.1007/978-3-642-03359-9_1MaRDI QIDQ3183515zbMATH OpenOpenAlexFDO

Authors Srdjan Capkun, Patrick Schaller, Benedikt Schmidt, David Basin

Publication date 20 October 2009

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-03359-9_1

Mathematics Subject Classification ID

Network protocols (68M12) Cryptography (94A60)

Recommendations

• Formal analysis of distance bounding with secure hardware
• Bayesian authentication: quantifying security of the Hancke-Kuhn protocol
• Analysis of security protocols as open systems
• Verifying security protocols modelled by networks of automata
• Models and Proofs of Protocol Security: A Progress Report

Cites work

• Defining functions on equivalence classes
• scientific article; zbMATH DE number 1331927 (Why is no real title available?)
• scientific article; zbMATH DE number 1394315 (Why is no real title available?)
• Interpretation of Locales in Isabelle: Theories and Proof Contexts
• Let’s Get Physical: Models and Methods for Real-World Security Protocols
• Structuring metatheory on inductive definitions
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(6)

• Protocol analysis with time and space
• Impracticality of Efficient PVSS in Real Life Security Standard (Poster)
• Model Checking Security Protocols
• Bayesian authentication: quantifying security of the Hancke-Kuhn protocol
• Let’s Get Physical: Models and Methods for Real-World Security Protocols
• A Symbolic Framework to Analyse Physical Proximity in Security Protocols

Describes a project that uses

Uses Software

• Isabelle/HOL
• Archive Formal Proofs
• Cauchy

This page was built for publication: Let’s Get Physical: Models and Methods for Real-World Security Protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3183515)