2575 search results - page 346 / 515 » Providing security with insecure systems |
176
click to vote
EWSA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
178
click to vote
IACR
2011
14 years 6 months ago
2011
Software drive encryption systems are vulnerable to memory attacks, in which an attacker gains physical accesses to the unattended computer, obtains the decryption keys from memor...
187
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...
164
click to vote
OOPSLA
2004
Springer
16 years 22 hour ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
201
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...