A verifiable protection system.

Gerald J. Popek Charles S. Kline

Published in: Reliable Software (1975)

Keyphrases

sufficient conditions
information security
privacy protection
security architecture
data sets
information retrieval
learning algorithm
computer vision
image processing
digital libraries
data protection