摘要: Many researchers believe electronic wallets (secure storage devices that maintain account balances) are the solution to commerce challenges. This paper argues for a more powerful model--a secure coprocessor--that can run small operating system, application programs, and also keep cryptographic keys balance information. We have built system called Dyad, on top of port Mach 3.0 microkernel IBM Citadel coprocessor. describes abstract architecture Dyad general discussion coprocessor implementations variety applications: • Copy protection software Electronic cash (including critique proposed solutions point-of-sale wallet systems) contracts Secure postage
berkeley.edu参考文章(35)
Bennet S. Yee, Using Secure Coprocessors ,(1994)
David B. Golub, Alessandro Forin, Randall W. Dean, Richard F. Rashid, UNIX as an Application Program. USENIX Summer. pp. 87- 95 ,(1990)
Andrea J. Borr, Transaction monitoring in ENCOMPASS: reliable distributed transaction processing very large data bases. pp. 155- 165 ,(1981)
Dan Hildebrand, An Architectural Overview of QNX Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures. pp. 113- 126 ,(1992)
Julius Caesar, Cæsar's Gallic war ,(1887)
Jim Gray, A Transaction Model international colloquium on automata, languages and programming. pp. 282- 298 ,(1980) , 10.1007/3-540-10003-2_78
Jeffrey L. Eppinger, Alfred Z. Spector, Lily B. Mummert, Camelot and Avalon: A Distributed Transaction Facility ,(1991)
S. W. Smith, J. D. Tygar, Security and Privacy for Partial Order Time Defense Technical Information Center. ,(1994) , 10.21236/ADA278953
J. D. Tygar, Bennet S. Yee, Nevin Heintze, Cryptographic postage indicia Concurrency and Parallelism, Programming, Networking, and Security. pp. 378- 391 ,(1996) , 10.1007/BFB0027822
S. Kent, PROTECTING EXTERNALLY SUPPLIED SOFTWARE IN SMALL COMPUTERS Massachusetts Institute of Technology. ,(1981)