8 search results - page 1 / 2 » esorics 2003 |
ESORICS
2003
Springer
13 years 10 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
ESORICS
2003
Springer
13 years 10 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
ESORICS
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Key exchange protocols in the setting of universal composability are investigated. First we show that the ideal functionality FKE of [9] cannot be realized in the presenc...
ESORICS
2003
Springer
13 years 10 months ago
2003
Springer
This paper considers a coalition C of enterprises {E1,..., En}, which is to be governed by a coalition policy PC , and where each memberenterprise Ei has its own internal policy Pi...
ESORICS
2003
Springer
13 years 10 months ago
2003
Springer
Hardware security modules can be used to encapsulate simple security services that bind security functions such as decryption with authorisation and authentication. Such hardware ...