1744 search results - page 46 / 349 » A Proof-Carrying File System |
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The goal of this research is to find a mechanism to guarantee that a file stored in a conventional file system, on disk, has not been modified. Our proposal for achieving that goa...
ICAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Grid data management is a challenging task because of the heterogeneous, dynamic and largescale nature of Grid environments. This paper proposes an autonomic Grid data management ...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
ACSAC
2010
IEEE
14 years 7 months ago
2010
IEEE
Existing steganographic file systems enable a user to hide the existence of his secret data by claiming that they are (static) dummy data created during disk initialization. Such ...
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...