Login / Signup

On a formal framework for security properties.

Sigrid GürgensPeter OchsenschlägerCarsten Rudolph
Published in: Comput. Stand. Interfaces (2005)
Keyphrases
  • formal model
  • security properties
  • formal methods
  • artificial intelligence
  • knowledge base
  • response time
  • lightweight