scientific article; zbMATH DE number 1104389

MaRDI QIDQ4370271zbMATH OpenFDO

Authors

Publication date 3 May 1998

zbMATH Keywords

abstract specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Programming Languages and Systems
• scientific article; zbMATH DE number 2112369
• An approach for formal verification of authentication protocols
• scientific article; zbMATH DE number 1543079
• scientific article; zbMATH DE number 4195145

Cited in

(7)

• On the use of data refinement in the development of secure communications systems
• On the Clark-Jacob version of SPLICE/AS
• scientific article; zbMATH DE number 1543079 (Why is no real title available?)
• Automated type-based analysis of injective agreement in the presence of compromised principals
• Foundations of Security Analysis and Design III
• Information Security and Cryptology
• On the security of SPLICE/AS -- The authentication system in WIDE Internet

This page was built for publication:

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