Formal analysis and parallelism in protocols

MaRDI QIDQ3369006zbMATH OpenFDO

Authors R. Krivoš-Belluš

Publication date 22 March 2007

zbMATH Keywords

securityformal analysisattacksprotocol

Mathematics Subject Classification ID

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

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

(11)

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

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)