11 search results - page 1 / 3 » esorics 2002 |
ESORICS
2002
Springer
14 years 4 months ago
2002
Springer
ESORICS
2002
Springer
14 years 4 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...
ESORICS
2002
Springer
14 years 4 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
14 years 4 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...
ESORICS
2002
Springer
14 years 4 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...