An inductive approach to strand spaces

DOI10.1007/S00165-011-0187-2zbMath1298.68083OpenAlexW2024331990MaRDI QIDQ470008

Jun Pang, Yongjian Li

Publication date: 11 November 2014

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0187-2

zbMATH Keywords

theorem provingsecurity protocolsstrand spacesinductive methods

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Related Items (1)

Formalizing provable anonymity in Isabelle/HOL

Uses Software

• Isabelle
• ML
• Isabelle/HOL
• PVS
• Isar
• HOL
• Interrogator

Cites Work

• Unnamed Item
• Isabelle/HOL. A proof assistant for higher-order logic
• Authentication tests and the structure of bundles.
• Schubert calculus and representations of the general linear group
• Timed Traces and Strand Spaces
• On the security of public key protocols
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: An inductive approach to strand spaces