A High Assurance Window System Prototype.

Jeremy Epstein John McHugh Hilarie K. Orman Rita Pascale Ann B. Marmor-Squires Bonnie P. Danner Charles R. Martin Martha A. Branstad Glenn S. Benson D. Rothnie

Published in: J. Comput. Secur. (1993)

Keyphrases