Relevant Papers
(a selected list)
-
Sylvan Pinsky, Edward Zieglar
Noninterference Equations for Nondeterministic
Systems
Postscript
(191 kB)
-
Sarbari Gupta, Virgil D. Gligor
U.S. Patent # 5,485,409: Automated Penetration
Analysis System and Method
PDF Part 1 of 2
(2.93 MB)
PDF Part 2 of 2
(518 kB)
-
C.-R. Tsai, V.D. Gligor, C.S. Chandersekaran
On the Identification of Covert Storage Channels in
Secure Systems
IEEE Transactions on Software Engineering, Vol. SE-16,
No. 6, June 1990, pp. 569 - 580
L.C. Call #: S IN EL24 TSE
-
S. Gupta, V.D. Gligor
Towards a Theory of Penetration-Resistant Systems
Journal of Computer Security, Vol. 1, 2 (1992), IOS
Press, pp. 133-158
OCLC Call #: 41949687
-
S.Gupta, V.D. Gligor
Experience with a Penetration Analysis Method and
Tool
Proc. of the 15th National Computer Security
Conference, Baltimore, Maryland, October 1992,
pp. 165-138
L.C. Call #: QA76.9 A25
OCLC Call #: 28251887
-
J. He, V.D. Gligor
Formal Methods and Automated Tool fo Timing-Channel
Identification in TCB Source Code
European Symp. on Res. in Computer Security -- ESORICS
92
Lecture Notes in Computer Science, vol. 648, Springer
Verlag, November 1992, pp. 57 - 75
L.C. Call #: QA76.9 A25 C65y 1992
-
A.C. Myers, B. Liskov
Protecting Privacy using the Decentralized Label
Model
PDF
(184 kB)
-
A.W. Roscoe, M.H. Goldsmith
What is Intransitive Noninterference?
Proceedings of the 1999 IEEE Computer Security
Foundations Workshop
PDF
(296 kB)
-
J. McLean
A General Theory of Composition for Trace Sets Closed Under Selective Interleaving Functions
Proceedings of the 1994 IEEE Symposium on Research in
Security and Privacy
PDF
(234 kB)
-
John Rushby
Noninterference, Transitivity, and Channel-Control Security Policies
SRI International Technical Report CSL-92-02 (December 1992)
Postscript
(417 kB)
|