Login / Signup
On a formal framework for security properties.
Sigrid Gürgens
Peter Ochsenschläger
Carsten Rudolph
Published in:
Comput. Stand. Interfaces (2005)
Keyphrases
</>
formal model
security properties
formal methods
artificial intelligence
knowledge base
response time
lightweight