Invariant-based reasoning about parameterized security protocols

DOI10.1007/S00165-009-0104-0MaRDI QIDQ2268473zbMATH OpenOpenAlexWikidataFDO

Authors Arjan J. Mooij

Publication date 8 March 2010

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

Full work available at URL https://doi.org/10.1007/s00165-009-0104-0

zbMATH Keywords

refinementsecurityprogram constructionmathematical techniques

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• Information based reasoning about security protocols
• Secure protocol composition
• Toward reasoning about security protocols: a semantic approach
• Analysis of security protocols as open systems
• scientific article; zbMATH DE number 2102391

Cites work

• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1330044 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• A logic of authentication
• Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS
• Extending the theory of Owicki and Gries with a logic of progress
• On the security of public key protocols
• On the use of data refinement in the development of secure communications systems
• Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
• Protocols for authentification and key establishment
• Streamlining progress-based derivations of concurrent programs
• Using encryption for authentication in large networks of computers

Cited in

(2)

• Protocols by Invariants
• Interaction and causality in digital signature exchange protocols

This page was built for publication: Invariant-based reasoning about parameterized security protocols

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