Using interval logics for temporal analysis of security protocols.

Michael R. Hansen Robin Sharp

Published in: FMSE (2003)

Keyphrases

temporal analysis
security protocols
automated design
security properties
artificial immune algorithm
security mechanisms
key management
rfid tags
video summarization
temporal trends
real time
low level
access control