Author of the publication

A Multi-OS Approach to Trusted Computer Systems.

, , , , and . Security Protocols Workshop, volume 2467 of Lecture Notes in Computer Science, page 107-114. Springer, (2001)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Legally Authorized and Unauthorized Digital Evidence., , , , and . Security Protocols Workshop, volume 2845 of Lecture Notes in Computer Science, page 67-73. Springer, (2002)Secure Fingerprinting Using Public-Key Cryptography (Position Paper)., , and . Security Protocols Workshop, volume 1550 of Lecture Notes in Computer Science, page 83-89. Springer, (1998)Evaluation of Applying LDA to Redacted Documents in Security and Safety Analysis., , , and . CSR, page 212-218. IEEE, (2023)A Method for Rapid RSA Key Generation., , and . Syst. Comput. Jpn., 21 (8): 11-20 (1990)A Formal Analysis of a Digital Signature Architecture., , and . IICIS, volume 140 of IFIP, page 31-47. Springer, (2003)Safety and Security Analysis using LDA based on Case Reports: Case Study and Trust Evaluation Method., , , , and . ARES, page 154:1-154:7. ACM, (2022)A Multi-OS Approach to Trusted Computer Systems., , , , and . Security Protocols Workshop, volume 2467 of Lecture Notes in Computer Science, page 107-114. Springer, (2001)Verification of a Signature Architecture with HOL-Z., , , and . FM, volume 3582 of Lecture Notes in Computer Science, page 269-285. Springer, (2005)Competitive Compliance with Blockchain., , , and . PerCom Workshops, page 967-972. IEEE, (2019)