Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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