@inproceedings{668564f7c1a242ff91d162881e3b69e1,
title = "Unwinding and Inference Control",
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.",
author = "Goguen, {Joseph A.} and Jose Meseguer",
note = "Publisher Copyright: {\textcopyright} 1984 IEEE.; 5th IEEE Symposium on Security and Privacy, SP 1984 ; Conference date: 29-04-1984 Through 02-05-1984",
year = "2012",
month = jul,
day = "6",
doi = "10.1109/SP.1984.10019",
language = "English (US)",
series = "Proceedings - IEEE Symposium on Security and Privacy",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "July",
pages = "75--86",
booktitle = "1984 IEEE Symposium on Security and Privacy, SP 1984",
address = "United States",
edition = "July",
}