The Community for Technology Leaders
2012 IEEE Symposium on Security and Privacy (1984)
Oakland, CA
Apr. 29, 1984 to May 2, 1984
ISSN: 1540-7993
ISBN: 0-8186-0532-4
pp: 75
Joseph A. Goguen , SRI International
Jose Meseguer , SRI International
ABSTRACT
This paper discusses two main ideas, unwinding and inference control. While both concern computer security, they are not closely related to each other. Unwinding is a verification technique for general security requirements based on noninterference assertions as in [Goguen & Meseguer 82a]. The inference control problem concerns preventing inference of unauthorized information by combining authorized information. The main result in this paper is an unwinding theorem that gives a very simple necessary and sufficient condition for a system to satisfy the MLS security policy system. A subsidiary topic is secure interfaces, which we show how to treat with noninterferce assertions.
INDEX TERMS
Computational modeling, Databases, Mathematical model, Computer security, History, Computers
CITATION
Joseph A. Goguen, Jose Meseguer, "Unwinding and Inference Control", 2012 IEEE Symposium on Security and Privacy, vol. 00, no. , pp. 75, 1984, doi:10.1109/SP.1984.10019
92 ms
(Ver 3.3 (11022016))