Self-certifying file system
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000. === Includes bibliographical references (p. 137-141) and index. === by David Mazières. === Ph.D.
Main Author: | Mazières, David (David Folkman), 1972- |
---|---|
Other Authors: | M. Frans Kaashoek. |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/86610 |
Similar Items
-
Security and decentralized control of the SFS global file system
by: Mazières, David (David Folkman), 1972-
Published: (2008) -
Self-certifying file system implementation for Windows
by: Euresti, David, 1979-
Published: (2014) -
Certifying a crash-safe file system
by: Chen, Haogang
Published: (2017) -
Certifiably correct SLAM
by: Rosen, David Matthew, 1986-
Published: (2017) -
Access control lists for the self-certifying filesystem
by: Savvides, George, 1976-
Published: (2014)