Login / Signup

A Uniform Approach for the Definition of Security Properties.

Riccardo FocardiFabio 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