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