On the use of data refinement in the development of secure communications systems

DOI10.1007/S001650200025MaRDI QIDQ1402458zbMATH OpenOpenAlexDBLPWikidataFDO

Authors D. Massart, Michael J. Butler

Publication date 27 August 2003

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650200025

zbMATH Keywords

Action systemsCSPRefinementSecurity protocols

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Recommendations

• Action Refinement in Process Algebra and Security Issues
• Secrecy-preserving refinement
• scientific article; zbMATH DE number 3943003
• Compositional refinement in agent-based security protocols
• Action system analysis of an authentication protocol (extended abstract)

Cited in

(2)

• Invariant-based reasoning about parameterized security protocols
• Compositional refinement in agent-based security protocols

Describes a project that uses

Uses Software

• csp2B

This page was built for publication: On the use of data refinement in the development of secure communications systems

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