1744 search results - page 61 / 349 » A Proof-Carrying File System |
SIGOPS
2010
14 years 8 months ago
2010
The file system is one of the most critical components of the operating system. Almost all applications running in the operating system require file systems to be available for ...
ICDE
1993
IEEE
15 years 2 months ago
1993
IEEE
This paper presents the design and implementation of a transaction manager embedded in a log-structured file system [11]. Measurements show that transaction support on a log-stru...
MSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Storage systems are increasingly subject to attacks. Cryptographic file systems mitigate the danger of exposing data by using encryption and integrity protection methods and guar...
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
DSN
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...