A High Assurance Window System Prototype

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.

Authors

Jeremy Epstein

This author has not been identified. Look up 'Jeremy Epstein' in Google

John McHugh

This author has not been identified. Look up 'John McHugh' in Google

Hilarie K. Orman

This author has not been identified. Look up 'Hilarie K. Orman' in Google

R. Pascale

This author has not been identified. Look up 'R. Pascale' in Google

Ann B. Marmor-Squires

This author has not been identified. Look up 'Ann B. Marmor-Squires' in Google

B. Danner

This author has not been identified. Look up 'B. Danner' in Google

C. Martin

This author has not been identified. Look up 'C. Martin' in Google

M. Branstad

This author has not been identified. Look up 'M. Branstad' in Google

J. Benson

This author has not been identified. Look up 'J. Benson' in Google

D. Rothnie

This author has not been identified. Look up 'D. Rothnie' in Google