scientific article; zbMATH DE number 1538052

zbMATH Open0965.94020MaRDI QIDQ4518909FDOQ4518909

Fausto Giunchiglia, Massimo Benerecetti

Publication date: 5 August 2001

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

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 (4)

• Title not available (Why is that?)
• Model checking the observational determinism security property using PROMELA and SPIN
• Model Checking Security Protocols
• Title not available (Why is that?)

   Recommendations

• A logic of authentication 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Computer Aided Verification 👍 👎
• Toward reasoning about security protocols: a semantic approach 👍 👎

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)