Sign in

A Trace Logic for Local Security Properties.

Ricardo CorinSandro EtallePieter H. HartelAntonio Durante
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • security properties
  • security analysis
  • formal model
  • security requirements
  • security protocols
  • formal methods
  • security vulnerabilities
  • key agreement
  • cryptographic protocols