scientific article; zbMATH DE number 1538052

zbMATH Open0965.94020MaRDI QIDQ4518909FDOQ4518909

Authors: Massimo Benerecetti, Fausto Giunchiglia 

Publication date: 5 August 2001

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

Recommendations

• A logic of authentication
• LDYIS: a framework for model checking security protocols
• scientific article; zbMATH DE number 2088755
• Computer Aided Verification
• Toward reasoning about security protocols: a semantic approach

zbMATH Keywords

model checkingtemporal evolutionverification of security protocolslogic of belief

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)

Cited In (7)

• Title not available (Why is that?)
• LTL model checking for security protocols
• Title not available (Why is that?)
• Model checking the observational determinism security property using PROMELA and SPIN
• Metareasoning about security protocols using distributed temporal logic
• Model Checking Security Protocols
• Title not available (Why is that?)

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