An inductive approach to strand spaces

DOI10.1007/S00165-011-0187-2MaRDI QIDQ470008zbMATH OpenOpenAlexFDO

Authors Yongjian Li, Jun Pang

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

inductive methodssecurity protocolsstrand spacestheorem proving

Mathematics Subject Classification ID

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

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1954376
• Adding branching to the strand space model
• Study on strand space model theory
• scientific article; zbMATH DE number 1330437

Cites work

• Authentication tests and the structure of bundles.
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 958048 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• On the security of public key protocols
• Schubert calculus and representations of the general linear group
• Timed Traces and Strand Spaces

Cited in

(6)

• Study on strand space model theory
• Joshua Guttman: pioneering strand spaces
• Formalizing provable anonymity in Isabelle/HOL
• scientific article; zbMATH DE number 1954376 (Why is no real title available?)
• Adding branching to the strand space model
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Describes a project that uses

Uses Software

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

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

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