Login / Signup
A Uniform Approach for the Definition of Security Properties.
Riccardo Focardi
Fabio Martinelli
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
security properties
formal model
security analysis
security requirements
security protocols
formal methods
cryptographic protocols
security vulnerabilities
real time
data streams
computer systems
key agreement