Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Formal Models for Computer Security
ACM Computing Surveys (CSUR)
Proof techniques for hierarchically structured programs
Communications of the ACM
Security Kernel validation in practice
Communications of the ACM
Modularization and hierarchy in a family of operating systems
Communications of the ACM
ACM SIGARCH Computer Architecture News
A comment on the confinement problem
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
On attaining reliable software for a secure operating system
Proceedings of the international conference on Reliable software
A verifiable protection system
Proceedings of the international conference on Reliable software
Using type-extension to organize virtual-memory mechanisms
ACM SIGOPS Operating Systems Review
A technique for passing reference parameters in an information-hiding architecture
ACM SIGARCH Computer Architecture News
Specifying abstract data types by restriction
ACM SIGSOFT Software Engineering Notes
Rapid prototyping by means of abstract module specifications written as trace axioms
Proceedings of the workshop on Rapid prototyping
Some remarks on the use of abstract specifications for operating systems
ACM SIGSOFT Software Engineering Notes
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
Synthesis of a software security system
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
| Hi-index | 0.05 |