| Document Date: 2014-05-22 14:21:15
Open Document File Size: 546,62 KBShare Result on Facebook
Company I/O / USB / OS / / Currency pence / USD / / / Event Force Majeure / Reorganization / M&A / Employment Change / / Facility Carnegie Mellon University / Kernel library / Library Timer Class / Device library / / IndustryTerm security-sensitive applications / selected peripheral devices / trustworthy software components / hidden devices / physical devices / to all devices / trustworthy services / verification algorithm / address device / Verification algorithms / bus subsystem software / active device / peripheral devices / kernel services / app devices / system chip-set hardware / trusted and untrusted applications / downstream wimp device / software components / commodity devices / source code analysis tools / commodity systems / file systems / isolated services / basic application services / hidden device / finance / large untrustworthy software components / host controller hardware / a few devices / few selected devices / trusted audit / large software systems / resource accounting information / hub/device / power management / software analyzer / hardware devices / multi-processor / commodity hardware / Virtual and physical page management / trusted computing / wimp device / secure key management / wimpy kernel services / long-running applications / wimp applications / hierarchy verification algorithm / storage or network / virtual file system services / correct wimp device / chip-set hardware / basic services / memory management / wimp devices / large and untrustworthy commodity systems / few simple devices / / NaturalFeature Interfaces Isolated Channel / I/O channel / Establish I/O channel / / OperatingSystem Linux / Ubuntu / / Organization mHV / On-demand Isolated I/O Zongwei Zhou Miao Yu Virgil D. Gligor ECE Department / CyLab / XMHF / Carnegie Mellon University / / Person Virgil D. Gligor / / Position bus controller / driver / Design General / namely Queue Head / device driver / C. Device Driver / generic host controller / host controller driver / Local Advanced Programmable Interrupt Controller / system and exporting driver / host controller / Enhanced Host Controller / controller / / Product CodeSurfer / Linux / / ProgrammingLanguage K / / Technology virtual machine / WK verification algorithm / following algorithm / Verification algorithms / Linux / HDMI / Hierarchy Verification Algorithm / operating system / shared memory / process control / encryption / Ethernet / verification algorithm / virtual memory / Bluetooth / /
SocialTag |
Dancing with Giants: Wimpy Kernels for On-Demand Isolated I/O