11 search results - page 1 / 3 » esorics 2002 |
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
103
click to vote
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
101
click to vote
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
119
click to vote
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
We consider the problem of offloading secure access-controlled content from central origin servers to distributed caches so clients can access a proximal cache rather than the orig...