JVPFS: Adding robustness to a secure stacked file system with untrusted local storage components

Proceedings of the 2011 USENIX Annual Technical Conference, USENIX ATC 2011

Volumn , Issue , 2019, Pages 369-382

  Weinhold, Carsten ^a   Härtig, Hermann ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); DIGITAL STORAGE; LEGACY SYSTEMS; VISCOUS FLOW;

ACCEPTABLE PERFORMANCE; APPLICATION DATA; CRASH RECOVERIES; MERKLE HASH TREE; ROBUSTNESS ISSUES; SECURITY-CRITICAL; STORAGE COMPONENT; TRUSTED COMPUTING BASE;

FILE ORGANIZATION;

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

References (32)

1. Carsten Weinhold and Hermann Härtig. VPFS: Building a Virtual Private File System With a Small Trusted Computing Base. In Eurosys'08: Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008, pages 81-93, New York, NY, USA, 2008. ACM.
2. The Month of Kernel Bugs (MoKB) Archive. http://projects.info-pull.com/mokb/, November 2006.
3. Apple Inc. About the security content of iPhone OS 3.1.3 and iPhone OS 3.1.3 for iPod touch. http://support.apple.com/kb/HT4013, February 2010.
4. Removing iPhone 3G[s] Passcode and Encryption. http://www.youtube.com/watch?v=5wS3AMbXRLs, July 2009.
5. Apple Inc. About the security content of iPhone OS 3.0.1. http://support.apple.com/kb/HT3754, August 2009.
6. iPad Jailbreak - Jailbreak Your iPad. http://www.ipadjailbreak.com/p/jailbreak-your-ipad. html.
7. The Fiasco Microkernel. Located at: http://os.inf.tu-dresden.de/fiasco/.
8. Michael Hohmuth, Michael Peter, Hermann Härtig, and Jonathan S. Shapiro. Reducing TCB size by using untrusted components - small kernels versus virtual-machine monitors. In Proceedings of the Eleventh ACM SIGOPS European Workshop, Leuven, Belgium, September 2004.
9. Lenin Singaravelu, Calton Pu, Hermann Härtig, and Christian Helmuth. Reducing tcb complexity for security-sensitive applications: three case studies. SIGOPS Oper. Syst. Rev., 40(4):161-174, 2006.
10. Marshall Kirk McKusick and Gregory R. Ganger. Soft updates: a technique for eliminating most synchronous writes in the fast filesystem. In ATEC'99: Proceedings of the annual conference on USENIX Annual Technical Conference, pages 24-24, Berkeley, CA, USA, 1999. USENIX Association.
11. Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. Analysis and evolution of journaling file systems. In ATEC'05: Proceedings of the annual conference on USENIX Annual Technical Conference, pages 8-8, Berkeley, CA, USA, 2005. USENIX Association.
12. Valerie Aurora. Soft updates, hard problems. http://lwn.net/Articles/339337, July 2009.
13. Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. Using model checking to find serious file system errors. ACM Trans. Comput. Syst., 24(4):393-423, 2006.
14. Andrea C. Arpaci-Dusseau. Model-based failure analysis of journaling file systems. In DSN'05: Proceedings of the 2005 International Conference on Dependable Systems and Networks, pages 802-811, Washington, DC, USA, 2005. IEEE Computer Society.
15. Haryadi S. Gunawi, Cindy Rubio-González, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Ben Liblit. EIO: Error Handling Is Occasionally Correct. In FAST'08: Proceedings of the 6th USENIX Conference on File and Storage Technologies, pages 1-16, Berkeley, CA, USA, 2008. USENIX Association.
16. Trusted Computing Group. Trusted Platform Module. http://www.trustedcomputinggroup.org/developers/trusted_platform_module.
17. ARM Limited. ARM Security Technology - Building a Secure System using TrustZone Technology. http://infocenter.arm.com/help/topic/ com.arm.doc.prd29- genc- 009492c/ PRD29- GENC- 009492C_trustzone_security_ whitepaper.pdf.
18. Matt Blaze. A Cryptographic File System for UNIX. In ACM Conference on Computer and Communications Security, pages 9-16, 1993.
19. Umesh Maheshwari, Radek Vingralek, and Bill Shapiro. How to Build a Trusted Database System on Untrusted Storage. In Proceedings of the 4th USENIX Symposium on Operating System Design and Implementation (OSDI), pages 135-150, San Diego, CA, oct 2000.
20. R. Merkle. Protocols for Public Key Cryptosystems. In Proceedings of the IEEE Symposium on Security and Privacy, pages 122-134, 1980.
21. Mihir Bellare, Ran Canetti, and Hugo Krawczyk. Message Authentication Using Hash Functions: the HMAC Construction. CryptoBytes, 2(1):12-15, 1996.
22. Mendel Rosenblum and John K. Ousterhout. The design and implementation of a log-structured file system. In SOSP'91: Proceedings of the thirteenth ACM symposium on Operating systems principles, pages 1-15, New York, NY, USA, 1991. ACM.
23. ReiserFS on Namesys website (archived 2007). http://web.archive.org/web/20071023172417/www.namesys.com/, 2007.
24. NILFS - Continous Snapshotting Filesystem for Linux. http://www.nilfs.org/en/.
25. Adam Lackorzynski and Alexander Warg. Taming subsystems: capabilities as universal resource access control in L4. In IIES'09: Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, pages 25-30, New York, NY, USA, 2009. ACM.
26. L4Linux Website. http://os.inf.tu-dresden.de/L4/LinuxOnL4/.
27. D. Wheeler. SLOCCount. available at: http://www.dwheeler.com/sloccount/.
28. ZFS Website. http://hub.opensolaris.org/bin/view/Community+Group+zfs/WebHome.
29. C. Stein, J. Howard, and M. Seltzer. Unifying File System Protection. In Proceedings of the USENIX Technical Conference, pages 79-90, 2001.
30. E. Goh, H. Shacham, N. Modadugu, and D. Boneh. SiRiUS: Securing Remote Untrusted Storage. In Proceedings of the 10th Network and Distributed Systems Security (NDSS) Symposium, pages 131-145, February 2003.
31. R. Sandberg, D. Golgberg, S. Kleiman, D. Walsh, and B. Lyon. Design and implementation of the Sun network filesystem. Innovations in Internetworking, pages 379-390, 1988.
32. Christopher Frost, Mike Mammarella, Eddie Kohler, Andrew de los Reyes, Shant Hovsepian, Andrew Matsuoka, and Lei Zhang. Generalized File System Dependencies. In SOSP'07: Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles, pages 307-320, New York, NY, USA, 2007. ACM.