1993
A High Assurance Window System Prototype.
J. Comput. Secur., 1993

User interface for a high assurance, windowing system.
Proceedings of the Ninth Annual Computer Security Applications Conference, 1993

1992
Virtual Window Systems: A New Approach to Supporting Concurrent Heterogeneous Windowing Systems.
Proceedings of the USENIX Summer 1992 Technical Conference, 1992

Evolution of a trusted B3 window system prototype.
Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 1992

1991
A prototype B3 trusted X Window System.
Proceedings of the Seventh Annual Computer Security Applications Conference, 1991