| 1993 |
|---|
| 3 | | Jeremy Epstein,
John McHugh,
Hilarie K. Orman,
R. Pascale,
Ann B. Marmor-Squires,
B. Danner,
C. Martin,
M. Branstad,
J. Benson,
D. Rothnie:
A High Assurance Window System Prototype.
Journal of Computer Security 2(2-3): 159-190 (1993) |
| 1990 |
|---|
| 2 | | M. Branstad,
W. C. Barker,
P. Cochrane:
The Role of Trust in Protected Mail.
IEEE Symposium on Security and Privacy 1990: 210-215 |
| 1989 |
|---|
| 1 | | M. Branstad,
Homayoon Tajalli,
F. Mayer,
D. Dalva:
Access Mediation in a Message Passing Kernel.
IEEE Symposium on Security and Privacy 1989: 66-72 |
