Verification of payment protocols via multiagent model checking

DOI10.1007/3-540-47961-9_23MaRDI QIDQ3045457zbMATH OpenFDO

Authors Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi

Publication date 12 August 2004

Published in Notes on Numerical Fluid Mechanics and Multidisciplinary Design (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Model checking security protocols using a logic of belief
• Model checking-based analysis of multiagent systems
• Logics in Artificial Intelligence
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Symbolic Model Checking Commitment Protocols Using Reduction

Cited in

(3)

• An extension of protocol verification modal logic to multi-channel protocols
• Formal verification of the Horn-Preneel micropayment protocol
• Model checking security protocols using a logic of belief

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Verification of payment protocols via multiagent model checking

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