Safe Equivalences for Security Properties.

Mário S. Alvim Miguel E. Andrés Catuscia Palamidessi Peter van Rossum

Published in: IFIP TCS (2010)

Keyphrases

security properties
formal model
security requirements
security analysis
security protocols
cryptographic protocols
security vulnerabilities
formal methods
key agreement
data mining
data model
cloud computing
elliptic curve