James W. Gray III, Paul F. Syverson. A logical approach to multilevel security of probabilistic systems. In 1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992. pages 164-176, IEEE Computer Society, 1992. [doi]
@inproceedings{GrayS92,
title = {A logical approach to multilevel security of probabilistic systems},
author = {James W. Gray III and Paul F. Syverson},
year = {1992},
doi = {10.1109/RISP.1992.213263},
url = {http://dx.doi.org/10.1109/RISP.1992.213263},
researchr = {https://researchr.org/publication/GrayS92},
cites = {0},
citedby = {0},
pages = {164-176},
booktitle = {1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992},
publisher = {IEEE Computer Society},
isbn = {0-8186-2825-1},
}