Analyzing Security Protocols in Hierarchical Networks.

Ye Zhang Hanne Riis Nielson

Published in: ATVA (2006)

Keyphrases

security protocols
automated design
social networks
security properties
security services
cryptographic algorithms
artificial immune algorithm
artificial intelligence
security mechanisms
key management
secure communication
real time
databases
database systems
temporal information
authentication protocol