Login / Signup

Protocol Engineering Applied to Formal Analysis of Security Systems.

Javier LópezJuan J. OrtegaJosé M. Troya
Published in: InfraSec (2002)
Keyphrases
  • formal analysis
  • security systems
  • ban logic
  • agent model
  • rule based systems
  • formal methods
  • lightweight
  • artificial intelligence
  • expert systems
  • security mechanisms