Translation Validation for Security Properties.

Matteo Busi Pierpaolo Degano Letterio Galletta

Published in: CoRR (2019)

Keyphrases

security properties
formal model
security analysis
security requirements
security protocols
cryptographic protocols
formal methods
security vulnerabilities
elliptic curve
real time
key agreement