Formal Methods for Assuring Security of Protocols

DOI10.1093/COMJNL/45.1.46MaRDI QIDQ4328967zbMATH OpenOpenAlexWikidataFDO

Authors Susan Older, Shiu-Kai Chin

Publication date 29 April 2002

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/71383e486c0c8ca7cca94f2d837c3b85dda7d20e

zbMATH Keywords

cryptographic protocol

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 2102391
• Formal analysis and parallelism in protocols
• Web security: Authentication protocols and their analysis
• Formal verification: an imperative step in the design of security protocols
• Operational semantics and verification of security protocols.

Cited in

(8)

• Formal verification: an imperative step in the design of security protocols
• scientific article; zbMATH DE number 2043338 (Why is no real title available?)
• Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario
• AI 2005: Advances in Artificial Intelligence
• Formal analysis and parallelism in protocols
• scientific article; zbMATH DE number 3856986 (Why is no real title available?)
• Web security: Authentication protocols and their analysis
• scientific article; zbMATH DE number 2102391 (Why is no real title available?)

Describes a project that uses

Uses Software

• Casper

This page was built for publication: Formal Methods for Assuring Security of Protocols

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