Compiling and Verifying Security Protocols.

Florent Jacquemard Michaël Rusinowitch Laurent Vigneron

Published in: LPAR (2000)

Keyphrases

security protocols
automated design
security properties
security services
cryptographic algorithms
security mechanisms
model checking
secure communication
authentication protocol
artificial immune algorithm
key management
cryptographic protocols
rfid tags
low cost
real time
data distribution
software development