Security and the Composition of Machines.

Dale M. Johnson F. Javier Thayer

Published in: CSFW (1988)

Keyphrases

security requirements
access control
intrusion detection
information security
computer security
data security
statistical databases
information assurance
security properties
cyber security
security analysis
artificial intelligence
security policies
smart card
security systems
cloud computing
information systems