scientific article; zbMATH DE number 1956518

zbMATH Open1029.68040MaRDI QIDQ4417864FDOQ4417864

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Verification of mobile ad hoc networks: an algebraic approach
• Cones and foci: A mechanical framework for protocol verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal verification of timed systems using cones and foci
• The cones and foci proof technique for timed transition systems
• 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)