H.-P. Ko

List of publications from the DBLP Bibliography Server - FAQ

1990

1 Joshua D. Guttman, H.-P. Ko: Verifying a Hardware Security Architecture. IEEE Symposium on Security and Privacy 1990: 333-344

1990
1		Joshua D. Guttman, H.-P. Ko: Verifying a Hardware Security Architecture. IEEE Symposium on Security and Privacy 1990: 333-344

Coauthor Index