Protocols by Invariants

DOI10.1017/CBO9780511663123MaRDI QIDQ4208551zbMATH OpenOpenAlexFDO

Authors Anneke A. Schoone

Publication date 6 September 1998

Full work available at URL https://doi.org/10.1017/cbo9780511663123

zbMATH Keywords

connection management protocolsdatabase commit protocolsLink level protocolsminimum hop route maintenanceprotocol skeletons

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5245254
• Invariant-based reasoning about parameterized security protocols
• Showing invariance compositionally for a process algebra for network protocols
• scientific article; zbMATH DE number 4055007
• Protocol Verification via Projections
• A proof of protocol correctness
• scientific article; zbMATH DE number 1973215
• Invariants

Cited in

(1)

• scientific article; zbMATH DE number 4082597 (Why is no real title available?)

This page was built for publication: Protocols by Invariants

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