ESORICS
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ļ¬...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the speciļ¬cation of trust and for reaso...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Correlating security alerts and discovering attack strategies are important and challenging tasks for security analysts. Recently, there have been several proposed techni...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
Database outsourcing is a popular industry trend which involves organizations delegating their data management needs to an external service provider. In this model, a service prov...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
This work presents a practical public-key encryption scheme that oļ¬ers security under adaptive chosen-ciphertext attack (CCA) and has pseudo-random ciphertexts, i.e. ciphertexts ...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
As network traļ¬c increases, the problems associated with monitoring and analyzing the traļ¬c on high speed networks become increasingly diļ¬cult. In this paper, we introduce a ...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
Redundancy and diversity are commonly applied principles for fault tolerance against accidental faults. Their use in security, which is attracting increasing interest, is less gene...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...