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 Framework for Composition of Security Models., и . CSFW, стр. 157-166. IEEE Computer Society, (1992)A Lattice of Information., и . CSFW, стр. 65-70. IEEE Computer Society, (1993)Formal Policies for Trusted Processes., , и . CSFW, стр. 31-40. IEEE Computer Society, (1989)SDVS: A system for verifying microcode correctness., , и . MICRO, стр. 246-255. ACM/IEEE, (1984)SDVS: a system for verifying microcode correctness., , и . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 7-14 (1985)