Algorithmic Verification of Invalidation-Based Protocols.

Marco Bozzano Giorgio Delzanno

Published in: CAV (2002)

Keyphrases

cryptographic protocols
response time
model checking
communication protocol
real time
formal verification
protocol specification
databases
information retrieval
information systems
database management systems
context aware
security protocols
message delivery