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

DOI10.1007/S001650200025zbMath1029.68012DBLPjournals/fac/Butler02OpenAlexW2027917863WikidataQ59626050 ScholiaQ59626050MaRDI QIDQ1402458

D. Massart

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

CSPRefinementAction systemsSecurity protocols

Mathematics Subject Classification ID

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

Related Items (1)

Invariant-based reasoning about parameterized security protocols

Uses Software

• csp2B

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