Device driver safety through a reference validation mechanism

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008

Volumn , Issue , 2019, Pages 241-254

  Williams, Dan ^a   Reynolds, Patrick ^a   Walsh, Kevin ^a   Sirer, Emin Gün ^a   Schneider, Fred B ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; SPECIFICATIONS; SUPERVISORY PERSONNEL; SYSTEMS ANALYSIS;

DEVICE DRIVER; HARDWARE DEVICES; SAFETY SPECIFICATIONS; SOUND CARDS; TRUSTED COMPUTING BASE; USB MOUSE; USER SPACES;

MAMMALS;

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

References (33)

1. D. Abramson, J. Jackson, S. Muthrasanallur, G. Neiger, G. Regnier, R. Sankaran, I. Schoinas, R. Uhlig, B. Vembu, and J. Wiegert. Intel virtualization technology for directed I/O. Intel Technology Journal, 10(3), Aug. 2006.
2. B. B. Alessandro Forin, David Golub. An I/O system for Mach. In Proceedings of the USENIX Mach Symposium, Monterey, CA, Nov. 1991.
3. J. P. Anderson. Computer security technology planning study-Vol. II. Technical Report ESD-TR-73-51, Electronic Systems Division, AFSC, L. G. Hanscom Field, Bedford, MA, Sept. 1972.
4. S. Apiki. I/O virtualization and AMD's IOMMU. http://developer.amd.com/documentation/articles/pages/892006101.aspx, Aug. 2006.
5. T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. Mc-Garvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. In Proceedings of EuroSys, Leuven, Belgium, Apr. 2006.
6. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proceedings of SOSP, Bolton Landing, NY, Oct. 2003.
7. B. N. Bershad, S. Savage, D. Becker, M. Fiuczynski, and E. G. Sirer. Protection is a software issue. In Proceedings of HotOS, 1995.
8. K. Bierhoff and C. Hawblitzel. Checking the hardware-software interface in Spec#. In Proceedings of PLOS, Stevenson, WA, Oct. 2007.
9. D. W. Boettner and M. T. Alexander. The Michigan Terminal System. Proceedings of the IEEE, 63(6):912-918, June 1975.
10. A. Chou, J.-F. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating system errors. In Proceedings of SOSP, Banff, Canada, Oct. 2001.
11. E. W. Dijkstra. The structure of the 'THE'-multiprogramming system. Communications of the ACM, 11(5):341-346, 1968.
12. Ú. Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G. C. Necula. XFI: Software guards for system address spaces. In Proceedings of OSDI, Seattle, WA, Nov. 2006.
13. Ú. Erlingsson and F. B. Schneider. SASI enforcement of security policies: A retrospective. In Proceedings of the New Security Paradigms Workshop, Caledon Hills, Ontario, Canada, Sept. 1999.
14. L. J. Fraim. Scomp: A solution to the multilevel security problem. Computer, 16(7):26-34, 1983.
15. K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe hardware access with the Xen virtual machine monitor. In Proceedings of The 1st Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure, Boston, MA, Oct. 2004.
16. V. Ganapathy, A. Balakrishnan, M. M. Swift, and S. Jha. Microdrivers: A new architecture for device drivers. In Proceedings of HotOS, San Diego, CA, May 2007.
17. V. Ganapathy, M. J. Renzelmann, A. Balakrishnan, M. M. Swift, and S. Jha. The design and implementation of microdrivers. In Proceedings of ASPLOS, Seattle, WA, Mar. 2008.
18. H. Härtig, J. Löser, F. Mehnert, L. Reuther, M. Pohlack, and A. Warg. An I/O architecture for microkernel-based operating systems. Technical Report TUD-FI03-08, Dresden University of Technology Department of Computer Science, D-01062 Dresden, Germany, July 2003.
19. J. N. Herder, H. Bos, and A. S. Tanenbaum. A lightweight method for building reliable operating systems despite unreliable device drivers. Technical Report IR-CS-018, Vrije Universiteit, Amsterdam, The Netherlands, Jan. 2006.
20. M. Hirzel and R. Grimm. Jeannie: Granting Java Native Interface developers their wishes. In Proceedings of OOPSLA, Montréal, Canada, Oct. 2007.
21. G. C. Hunt, J. R. Larus, M. Abadi, M. Aiken, P. Barham, M. Fahndrich, C. Hawblitzel, O. Hodson, S. Levi, N. Murphy, B. Steensgaard, D. Tarditi, T. Wobber, and B. Zill. An overview of the Singularity project. Technical Report MSR-TR-2005-135, Microsoft Research, Redmond, WA, Oct. 2005.
22. B. Leslie, P. Chubb, N. Fitzroy-Dale, S. Götz, C. Gray, L. Macpherson, D. Potts, Y. Shen, K. Elphinstone, and G. Heiser. User-level device drivers: Achieved performance. Journal of Computer Science & Technology, 20(5):654-664, Sept. 2005.
23. B. Leslie and G. Heise. Towards untrusted device drivers. Technical Report UNSW-CSE-TR-0303, University of New South Wales, Sydney, Australia, Mar. 2003.
24. J. Liedtke, U. Bartling, U. Beyer, D. Heinrichs, R. Ruland, and G. Szalay. Two years of experience with a µ-kernel based OS. SIGOPS Oper. Syst. Rev., 25(2):51-62, 1991.
25. F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for hardware programming. In Proceedings of OSDI, San Diego, CA, 2000.
26. W. T. Ng and P. M. Chen. The systematic improvement of fault tolerance in the Rio file cache. In Proceedings of the IEEE Symposium on Fault-Tolerant Computing (FTCS), Madison, WI, June 1999.
27. J. Rushby. The design and verification of secure systems. In Proceedings of SOSP, Asilomar, CA, Dec. 1981.
28. A. Shieh, D. Williams, E. G. Sirer, and F. B. Schneider. Nexus: A new operating system for trustworthy computing (extended abstract). In Proceedings of SOSP, Brighton, UK, Oct. 2005.
29. M. Spear, T. Roeder, O. Hodson, G. C. Hunt, and S. Levi. Solving the starting problem: Device drivers as self-describing artifacts. In Proceedings of EuroSys, Leuven, Belgium, Apr. 2006.
30. M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy. Recovering device drivers. ACM Transactions on Computer Systems, 24(4):333-360, Nov. 2006.
31. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the reliability of commodity operating systems. ACM Transactions on Computer Systems, 23(1):77-110, Feb. 2005.
32. A. Tirumala, F. Qin, J. Dugan, J. Ferguson, and K. Gibbs. Iperf: The TCP/UDP bandwidth measurement tool. http://dast.nlanr.net/Projects/Iperf, May 2005.
33. F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harren, G. Necula, and E. Brewer. SafeDrive: safe and recoverable extensions using language-based techniques. In Proceedings of OSDI, Seattle, WA, Nov. 2006.