@inproceedings{b0973e662e4d414d9f0d14601b0f2949,
title = "Server-process restrictiveness in HOL",
abstract = "Restrictiveness is a security property of multilevel systems, guaranteeing that a system{\textquoteright}s behavior visible at one security level does not reveal the existence of inputs or outputs at other levels not dominated by this level. This paper gives a convenient language for specifying processes, an operational semantics for this language, and a collection of easy to understand, inductively defined security properties that can be used to substantially automate proving restrictiveness for buffered server processes specified in this language.",
author = "Brackin, {Stephen H.} and Chin, {Shiu Kai}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1994.; 6th International Workshop on Higher Order Logic Theorem Proving and Its Applications, HUG 1993 ; Conference date: 11-08-1993 Through 13-08-1993",
year = "1994",
doi = "10.1007/3-540-57826-9_155",
language = "English (US)",
isbn = "9783540578260",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "450--463",
editor = "Joyce, {Jeffrey J.} and Seger, {Carl-Johan H.}",
booktitle = "Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG 1993, Proceedings",
}