scientific article; zbMATH DE number 1956518

MaRDI QIDQ4417864zbMATH OpenFDO

Authors Jun Pang, Wan Fokkink

Publication date 30 July 2003

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)

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

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 Q4417864)