Evaluating Security Properties of Computer Systems.

Roger R. Schell

Published in: IEEE Symposium on Security and Privacy (1983)

Keyphrases

computer systems
security properties
formal model
security requirements
operating system
security analysis
data processing
security protocols
information systems
computing systems
communication systems
computer networks
information processing systems
cryptographic protocols
formal methods
human beings
high end