How to build a trusted database system on untrusted storage

Proceedings of the 4th Conference on Symposium on Operating System Design and Implementation, OSDI 2000

Volumn , Issue , 2000, Pages

  Maheshwari, Umesh ^a   Vingralek, Radek ^a   Shapiro, William ^a  

^a Intertrust Technologies Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CRYPTOGRAPHY; DIGITAL STORAGE; SYSTEMS ANALYSIS;

CONVENTIONAL DATABASE; DATA AND METADATA; EMBEDDED DATABASE; EMERGING APPLICATIONS; LOG STRUCTURED; PRELIMINARY PERFORMANCE RESULTS; UNTRUSTED STORAGES;

COMPUTER ARCHITECTURE;

EID: 84968422314     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. D. Aucsmith. Tamper resistant software: an implementation. In Proc. International Workshop on Information Hiding, Lecture Notes in Computer Science, Vol. 1174, Cambridge, UK, 1996, pp. 317-333.
2. M. Blum, W. Evans, P. Gemmel, S. Kannan, and M. Naor. Checking the correctness of memories. In Proc. IEEE Conf. on Foundations of Computer Science, San Juan, Puerto Rico, 1991, pp. 90-99.
3. T. Blackwell, J. Harris, and M. Seltzer. Heuristic cleaning algorithms in log-structured file systems. In Proc. USENIX Technical Conference, New Orleans, LA, 1995, pp. 249-264.
4. M. Bellare and B. Yee. Forward integrity for secure audit logs. Technical Report, Computer Science and Engineering Department, University of California at San Diego, 1997.
5. F. Cohen. Operating system protection through program evolution. In Computers & Security, 12(6), Oxford, 1993.
6. M. Castro and B. Liskov. Practical byzantine fault tolerance. In Proc. Symposium on Operating Systems Design and Implementation, New Orleans, LA, 1999, pp. 173-186.
7. C. Collberg, C. Thomborson, and D. Low. Manufacturing cheap, resilient, and stealthy opaque constructs. In Proc. ACM Principles of Programming Languages, San Diego, CA, 1998, pp. 184-196.
8. Dallas Semiconductor secure microcontroller family, http://www.dalsemi.com/products/micros/secure.html, August 2000.
9. K. Fu, F. Kaashoek, and D. Mazieres. Fast and secure distributed read-only file system. To appear in Proc. Symposium on Operating Systems Design and Implementation, San Diego, CA, 2000.
10. J. Garay, R. Gennaro, C. Jutla, and T. Rabin. Secure distributed storage and retrieval. In Proc. Intl. Workshop on Distributed Algorithms, Berlin, Germany, 1997, pp. 275-289.
11. J. Gray and A. Reuter. Transaction processing: concepts and techniques. Morgan Kaufmann Publishers, 1993.
12. N. Hutchinson, S. Manley, M. Federwisch, G. Harris, D. Hitz, S. Kleiman, S. O'Malley. Logical vs. physical file backup. In Proc. Symp. on Operating System Design and Implementation, New Orleans, LA, 1999, pp. 239-249.
13. D. Hwang. Function-based indexing for object-oriented databases. PhD thesis, Massachusetts Institute of Technology, 1994.
14. Infineon Technologies. Eurochip II-SLE 5536, http://www.infineon.com/cgi/ecrm.dll/ecrm/scripts/prod-ov.jsp?oid=14702&cat-oid=-8233, August 2000.
15. InterTrust Technologies Corp. Digital rights management. http://www.intertrust.com/de/index.html, August 2000.
16. IBM. Cryptolope technology, http://www.software.ibm.com/security/cryptolope, August 2000.
17. W. Jonge, M. F. Kaashoek, W. Hsieh. The logical disk: a new approach to improving file systems. In Proc. ACM Symposium on Operating Systems Principles, Asheville, NC, 1993, pp. 15-28.
18. O. Kommerling and M. Kuhn. Design principles for tamper-resistant smartcard processors. In Proc. USENIX Workshop on Smartcard Technology, Chicago, IL, 1999.
19. H. Krawczyk. Distributed fingerprints and secure information dispersal. In Proc. ACM Symp. on Principles of Distributed Computing, Ithaca, NY, 1993, pp. 207-218.
20. R. Merkle. Protocols for public key cryptosystems. In Proc. IEEE Symposium on Security and Privacy, Oakland, CA, 1980, pp. 122-134.
21. A. Menezes, P. van Oorschot, and S. Vanstone. Handbook of applied cryptography. CRC Press, 1996.
22. T. Rabin. Efficient dispersal of information for security, load balancing, and fault tolerance. Journal of the ACM, 36(2), 1989, pp. 335-348.
23. M. Rosenblum and J. Ousterhout. The design and implementation of a log-structured file system. In Proc. ACM Symposium on Operating Systems Principles, Pacific Grove, CA, 1991, pp. 1-15.
24. O. Sibert, D. Bernstein, and D. Van Wie. DigiBox: a self protecting container for information commerce. In Proc. USENIX Conference on Electronic Commerce, New York, NY, 1995, pp. 171-186.
25. B. Schneier and J. Kelsey. Cryptographic support for secure logs on untrusted machines. In Proc. USENIX Security Symposium, San Antonio, TX, 1998, pp. 52-62.
26. S. Smith, E. Palmer, and S. Weingart. Using a high-performance, programmable secure coprocessor. In Proc. Intl. Conf. on Financial Cryptography, Anguilla, British West Indies, 1998.
27. Wave Systems Corp. The Embassy e-commerce system. http://www.wave.com/technology/Embassywhitepaper.pdf, August 2000.
28. ContentGuard, Rights management from Xerox, http://www.contentguard.com, August 2000.
29. T. Ylonen. Shadow paging is feasible. Licentiate's thesis, Helsinki University of Technology, 1994.