Verifying security protocols: An application of CSP

DOI10.1007/11423348_14MaRDI QIDQ5709372zbMATH OpenOpenAlexFDO

Authors Rob Delicata, S. A. Schneider

Publication date 29 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136154, https://openresearch.surrey.ac.uk/view/delivery/44SUR_INST/12138641530002346/13140598900002346

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Verifying security protocols with PVS: widening the rank function approach
• Models and Proofs of Protocol Security: A Progress Report
• Model Checking Security Protocols
• Using SPIN to verify security properties of cryptographic protocols
• scientific article; zbMATH DE number 1860614

Cited in

(7)

• The symbiosis of concurrency and verification: teaching and case studies
• Verifying security protocols with PVS: widening the rank function approach
• Validating Security Protocols under the General Attacker
• Security management via Z and CSP
• An improved constraint-based system for the verification of security protocols
• Process algebra and security (abstract)
• Using CSP to verify sequential consistency

Describes a project that uses

Uses Software

• Casper

This page was built for publication: Verifying security protocols: An application of CSP

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