| Document Date: 2008-05-14 11:05:27
Open Document File Size: 209,79 KBShare Result on Facebook
Company Microsoft Corporation / Intel / / / Facility port I/O / Port I/O Interrupts MMIO Audio / Compat library Linux LoC / Nexus port / O port / / IndustryTerm asynchronous device / packet-processing rate / multiprocessor systems / i810 audio device / appropriate device / packet processing rate / synchronous devices / synchronization with devices / research operating systems / hardware devices / automated bug-finding tools / typical devices / trusted computing base / client applications / requisite infrastructure / mainstream operating systems / / MarketIndex DMA / / MusicAlbum I/O / / OperatingSystem Linux / Windows XP / Microsoft Windows / / Organization National Science Foundation / / Person Safe / Dan Williams / Ai / Patrick Reynolds / Kevin Walsh / Sirer / Fred B. Schneider / / / Position network driver / the audio driver / driver / user-space driver / malicious driver / working driver / trusted driver / Linux driver / well-behaved driver / i810 driver / existing driver / USB driver / Device Driver / timer driver / driver for DMA transfers / e1000 network driver and the i810 sound driver / trusted driver for the same hardware under Linux / driver / or by acknowledging it / disk driver / Unprivileged Driver / device I/O model / which dictates assumptions underlying our design / OS scheduler / active driver / supervisor / legal driver / controller driver / corresponding driver / Nexus scheduler / USB controller driver / network driver / peripheral driver / Nexus driver / scheduler / Linux i810 sound card driver / sound card driver / e1000 driver / controller / user-space driver / but with no reference monitor / / Product Nexus / Microsoft Corporation Portable Audio Device / Linux / / ProgrammingLanguage Java / C / / PublishedMedium the Nexus / Nexus / / Technology analysis algorithm / Linux / streaming video / operating system / UDP / operating systems / mobile devices / Ethernet / flash memory / Java / HTTP / caching / SCSI / /
SocialTag |
Device Driver Safety Through a Reference Validation Mechanism ∗ Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G¨un Sirer, and Fred B. Schneider {djwill,reynolds,kwalsh,egs,fbs}@cs.cornell.edu May 9, 2008 Abstract