Application of Formal Methods in the Scope of IT-Security.

Frank Koob Markus Ullmann Stefan Wittmann

Published in: SAFECOMP (1996)

Keyphrases

formal methods
development lifecycle
security properties
formal analysis
databases
process algebra
network connection
artificial intelligence
formal specification
data model
security analysis