Partial Order Reductions for Security Protocol Verification.

Edmund M. Clarke Somesh Jha Wilfredo R. Marrero

Published in: TACAS (2000)

Keyphrases

partial order
security protocols
partially ordered
total order
artificial immune algorithm
security services
cryptographic algorithms
security mechanisms
model checking
key management
authentication protocol
lattice structure
sequential patterns
rfid tags
rfid systems
totally ordered
real time
information systems