Sciweavers

1744 search results - page 24 / 349
» A Proof-Carrying File System
Sort
View
ESORICS
2008
Springer
14 years 11 months ago
A Framework for the Analysis of Mix-Based Steganographic File Systems
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...
Claudia Díaz, Carmela Troncoso, Bart Prenee...
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
14 years 7 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
SC
1993
ACM
15 years 1 months ago
The high performance storage system
The High Performance Storage System (HPSS) is a mature Hierarchical Storage Management (HSM) system that was developed around a network-centered architecture, with client access t...
Robert A. Coyne, Harry Hulen, Richard Watson
OSDI
2000
ACM
14 years 11 months ago
Latency Management in Storage Systems
Storage Latency Estimation Descriptors, or SLEDs, are an API that allow applications to understand and take advantage of the dynamic state of a storage system. By accessing data i...
Rodney Van Meter, Minxi Gao
DFMA
2005
IEEE
143views Multimedia» more  DFMA 2005»
15 years 3 months ago
Efficient Media Asset Transfer in a Unified Framework Managing Broadcasting Systems
File transfer acts an increasing role in digital TV studios and especially for their interconnections. Using adequate file formats to exchange data presents several advantages: lo...
Mathrin Body, Bernard Cousin