Hanscom AFB / C library / Cornell University / Massachusetts Institute of Technology / /
IndustryTerm
exokernel systems / proof search procedure / distributed cloud storage systems / shared network storage systems / trustworthy computing / communications channels / security technology / remote storage services / x86-compatible hardware / trusted computing bases / software stack / trustworthy systems / trusted computing base / actual trusted computing base / software architectures / /
MusicAlbum
I/O / /
OperatingSystem
Unix / Linux / KeyKOS / Unix-like / POSIX / /
Organization
National Science Foundation / College of the Holy Cross / U.S. Government / Massachusetts Institute of Technology / Cornell University / Department of Computer Science / Department of Mathematics and Computer Science / /
Person
M. Schroeder / Z. Liang / V / Filesystem Kevin Walsh / Addison Wesley / F. Shafique / V / /
Position
Driver / D. J. / suitable FAT32 driver / Disk Driver / SATA driver FAT32 driver / Partitions ACLs Common User-mode Fuse layer Ext2 driver Kernel-mode Block layer FAT32 driver / Fuse layer VFS layer Partitions ACLs Common User-mode Fuse layer Ext2 driver / administrator / DDRM User-mode Driver / controller / /
Product
Ext2 / FAT32 / /
ProgrammingLanguage
R / C / /
ProvinceOrState
New York / Massachusetts / /
PublishedMedium
the Nexus / the Echo / /
Technology
shared memory system / peer-to-peer / Linux / Unix / operating system / Shared Memory / access control list / encryption / cryptography / Computer security technology / http / paging / Caching / paging for shared memory / /
1 Trust in a Principled Filesystem Kevin Walsh and Fred B. Schneider Abstract—Users typically have little reason to trust that systems will protect user data against unauthorized access. A prototype filesystem stack w