Handling Algebraic Properties in Automatic Analysis of Security Protocols.

Yohan Boichut Pierre-Cyrille Héam Olga Kouchnarenko

Published in: ICTAC (2006)

Keyphrases

automatic analysis
algebraic properties
security properties
security protocols
automated design
security mechanisms
key management
security requirements
authentication protocol
cryptographic protocols
formal model
fuzzy rough sets
security analysis
high dimensional
feature vectors
rfid tags