Formal analysis and parallelism in protocols

MaRDI QIDQ3369006zbMATH OpenFDO

Authors R. Krivoš-Belluš

Publication date 22 March 2007

zbMATH Keywords

attacksformal analysisprotocolsecurity

Mathematics Subject Classification ID

Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Using probabilistic automata for security protocols verification
• Formal Methods for Assuring Security of Protocols
• scientific article; zbMATH DE number 2102391
• On Establishing and Fixing a Parallel Session Attack in a Security Protocol
• scientific article; zbMATH DE number 2143936

Cited in

(12)

• The formalization and analysis of a communications protocol
• Specification and analysis of a composition of protocols
• Protocol analysis with time and space
• Using probabilistic automata for security protocols verification
• Privacy protocols
• Language-oriented formal analysis: a case study on protocols and distributed systems
• On Establishing and Fixing a Parallel Session Attack in a Security Protocol
• Constructing Security Protocol Specifications for Web Services
• Formal Methods for Assuring Security of Protocols
• Computer Aided Systems Theory – EUROCAST 2005
• AI 2005: Advances in Artificial Intelligence
• Web security: Authentication protocols and their analysis

This page was built for publication: Formal analysis and parallelism in protocols

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