Equivalence-preserving corrective enforcement of security properties.

Raphaël Khoury Nadia Tawbi

Published in: Int. J. Inf. Comput. Secur. (2015)

Keyphrases

security properties
security requirements
security analysis
formal model
access control
security protocols
security vulnerabilities
cryptographic protocols
formal methods
low cost
smart card
real time
case study
elliptic curve