ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
A programmable secure coprocessor platform can help solve many security problems in distributed computing. However, these solutions usually require that coprocessor applications be...
ESORICS
2002
Springer
14 years 7 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 7 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
Network based intrusions have become a serious threat to the users of the Internet. Intruders who wish to attack computers attached to the Internet frequently conceal their identit...
ESORICS
2002
Springer
14 years 7 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 7 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 7 months ago
2002
Springer
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
It is believed that masking is an effective countermeasure against power analysis attacks: before a certain operation involving a key is performed in a cryptographic chip, the inpu...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...