From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

A High Assurance Window System Prototype., , , , , , , , , и . J. Comput. Secur., 2 (2-3): 159-190 (1993)Validation, Verification, and Testing of Computer Software., , и . ACM Comput. Surv., 14 (2): 159-192 (1982)Summary of SESAW III., и . ACM SIGSOFT Softw. Eng. Notes, 10 (5): 33-36 (1985)A risk driven process model for the development of trusted systems., , , , , , и . ACSAC, стр. 184-192. IEEE, (1989)Access Mediation in a Message Passing Kernel., , , и . S&P, стр. 66-72. IEEE Computer Society, (1989)Rapid prototyping workshop: overview., , и . Rapid Prototyping, стр. 2. ACM, (1982)Architectural support of fine-grained secure computing., и . ACSAC, стр. 121-130. IEEE, (1989)A prototype B3 trusted X Window System., , , , , , , , и . ACSAC, стр. 44-55. IEEE, (1991)The Role of Trust in Protected Mail., , и . S&P, стр. 210-215. IEEE Computer Society, (1990)Evolution of a trusted B3 window system prototype., , , , , , , , и . S&P, стр. 226-239. IEEE Computer Society, (1992)