Login / Signup
SeVe: automatic tool for verification of security protocols.
Anh Tuan Luu
Jun Sun
Yang Liu
Jin Song Dong
Xiaohong Li
Thanh Tho Quan
Published in:
Frontiers Comput. Sci. China (2012)
Keyphrases
</>
security protocols
cryptographic protocols
automated design
cryptographic algorithms
security properties
artificial immune algorithm
formal verification
security services
low cost
security mechanisms
secure communication
formal model
key management