scientific article; zbMATH DE number 1538052

zbMATH Open0965.94020MaRDI QIDQ4518909FDOQ4518909

Authors Massimo Benerecetti, Fausto Giunchiglia

Publication date 5 August 2001

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)

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

Cited in

(7)

• Metareasoning about security protocols using distributed temporal logic
• scientific article; zbMATH DE number 2088755 (Why is no real title available?)
• Model checking the observational determinism security property using PROMELA and SPIN
• Model Checking Security Protocols
• scientific article; zbMATH DE number 7301460 (Why is no real title available?)
• scientific article; zbMATH DE number 1962760 (Why is no real title available?)
• LTL model checking for security protocols

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)