A Logic of Belief and a Model Checking Algorithm for Security Protocols

Authors:
Massimo Benerecetti;Fausto Giunchiglia;Maurizio Panti;Luca Spalazzi
Affiliations:
-;-;-;-
Venue:
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Year:
2000

Citing 0
Cited 5

Verification of Payment Protocols via MultiAgent Model Checking

CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time

SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
M. J. Wooldridge, Reasoning about Rational Agents, Intelligent Robots and Autonomous Agents Series, Cambridge, MA: The MIT Press, 2000, xv+227 pp., $35.00 (hardcover), ISBN 0-262-23213-8.

Minds and Machines
Model checking nash equilibria in MAD distributed systems

Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Validation of multiagent systems by symbolic model checking

AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III

Quantified Score

Hi-index	0.00

Visualization

Abstract