A Formal System for Analysis of Cryptographic Encryption and Their Security Properties.

Ashraf Bhery Shigeki Hagihara Naoki Yonezaki

Published in: ISSS (2003)

Keyphrases

security properties
formal model
security requirements
security analysis
formal methods
security protocols
cryptographic protocols
knowledge base
diffie hellman
intrusion detection
software systems