1744 search results - page 107 / 349 » A Proof-Carrying File System |
127
click to vote
ACNS
2004
Springer
15 years 8 months ago
2004
Springer
One of the few quantitative metrics used to evaluate the security of a cryptographic file system is the key length of the encryption algorithm; larger key lengths correspond to hig...
169
click to vote
FAST
2007
15 years 5 months ago
2007
Data ONTAP GX is a clustered Network Attached File server composed of a number of cooperating filers. Each filer manages its own local file system, which consists of a number of d...
133
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...
157
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
140
click to vote
ISSA
2004
15 years 5 months ago
2004
The World Wide Web (WWW) is fast becoming the central location for goods, services and information. The very factors that make the Internet such a powerful medium combine to make ...