Integration of a security type system into a program logic.

Reiner Hähnle Jing Pan Philipp Rümmer Dennis Walter

Published in: Theor. Comput. Sci. (2008)

Keyphrases

intrusion detection
information security
network security
logic programming
computer programs
classical logic
computer security
operating system
network management
encryption scheme
security mechanisms
key management