2003 |
7 | EE | Cynthia E. Irvine,
David J. Shifflett,
Paul C. Clark,
Timothy E. Levin,
George W. Dinolt:
MYSEA Technology Demonstration.
DISCEX (2) 2003: 10-12 |
6 | EE | Cynthia E. Irvine,
David J. Shifflett,
Paul C. Clark,
Timothy E. Levin,
George W. Dinolt:
Monterey Security Enhanced Architecture Project.
DISCEX (2) 2003: 176-181 |
5 | | Craig W. Rasmussen,
Cynthia E. Irvine,
George W. Dinolt,
Timothy E. Levin,
Karen L. Burke:
A Program for Education in Certification and Accreditation.
World Conference on Information Security Education 2003: 131-149 |
1994 |
4 | | George W. Dinolt,
Lee Benzinger,
Mark Yatabe:
Combining Components and Policies.
CSFW 1994: 22-33 |
1989 |
3 | | J. C. Williams,
George W. Dinolt:
Formal Model of a Trusted File Server.
IEEE Symposium on Security and Privacy 1989: 157-166 |
1987 |
2 | | J. C. Williams,
George W. Dinolt:
A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview.
IEEE Symposium on Security and Privacy 1987: 97-105 |
1984 |
1 | | George W. Dinolt,
Richard B. Neely,
P. C. Baker,
J. Freeman:
Multinet Gateway-Towards A1 Certification.
IEEE Symposium on Security and Privacy 1984: 226-226 |