1154 search results - page 28 / 231 » Making Self-organizing Systems Secure |
110
click to vote
ACMICEC
2003
ACM
15 years 6 months ago
2003
ACM
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...
116
click to vote
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
The Paranoid file system is an encrypted, secure, global file system with user managed access control. The system provides efficient peer-to-peer application transparent file ...
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Object-based storage offloads some works of file systems to storage devices to improve security, scalability, and performance. Security is a main concern when sharing data over ne...
120
click to vote
SP
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
USS
2008
15 years 3 months ago
2008
Making vital disk data recoverable even in the event of OS compromises has become a necessity, in view of the increased prevalence of OS vulnerability exploits over the recent yea...