Cones and foci for protocol verification revisited

DOI10.1007/3-540-36576-1_17MaRDI QIDQ4417864zbMATH OpenFDO

Authors Jun Pang, Wan Fokkink

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200267.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Cones and foci: A mechanical framework for protocol verification
• Focus points and convergent process operators: A proof strategy for protocol verification
• scientific article; zbMATH DE number 2084712
• Protocol Verification Via Rigid/Flexible Resolution
• Verification of parameterized protocols
• Protocol Verification via Projections
• Constraint Abstraction in Verification of Security Protocols
• A rewriting strategy for protocol verification
• scientific article; zbMATH DE number 4022620
• Formal verification of timed systems using cones and foci

Cited in

(7)

• The cones and foci proof technique for timed transition systems
• Formalizing provable anonymity in Isabelle/HOL
• Formal verification of timed systems using cones and foci
• scientific article; zbMATH DE number 3877090 (Why is no real title available?)
• scientific article; zbMATH DE number 7269247 (Why is no real title available?)
• Verification of mobile ad hoc networks: an algebraic approach
• Cones and foci: A mechanical framework for protocol verification

This page was built for publication: Cones and foci for protocol verification revisited

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