New paradigms for high assurance software

Authors:
John McLean
Affiliations:
Naval Research Laboratory, Code 5543, Washington, D.C.
Venue:
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Year:
1993

Citing 4
Cited 1

A Formal Method for the Abstract Specification of Software

Journal of the ACM (JACM)
The Specification and Modeling of Computer Security

Computer
Using Traces of Procedure Calls to Reason About Composability

SP '92 Proceedings of the 1992 IEEE Symposium on Security and Privacy
A Logical Approach to Multilevel Security of Probabilistic Systems

SP '92 Proceedings of the 1992 IEEE Symposium on Security and Privacy

Enhanced Security Models for Operating Systems: A Cryptographic Approach

COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01

Quantified Score

Hi-index	0.00

Visualization

Abstract