Simon N. Foley. A Kernelized Architecture for
Multilevel Secure Application Policies.
European Symposium on Research in Computer Security,
Louvain-la-Neuve, Belgium, September 1998, Springer LNCS.
Source LaTeX Specification Sections
 SCUP.tex Dynamic Label Policies
OBJECT.tex Objects
SKPI.tex Label Manager
SKPIO.tex Kernelized Label Manager
REFINE.tex Correctness of Refinement
Z/EVES Proof Script Sections
SCUP.prf Dynamic Label Policies
OBJECT.trf Objects
SKPI.prf Security Analysis
SKPIO.prf Kernelized Label Manager
REFINE.prf Correctness of Refinement
unix tar-file of above, including *.sct, *.pct and a
suitable Makefile
here.
|