30 search results - page 1 / 6 » Information-Flow Attacks Based on Limited Observations |
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
79
Voted
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
71
Voted
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
99
Voted
ISCA
2008
IEEE
14 years 10 months ago
2008
IEEE
Dynamic information flow tracking (also known as taint tracking) is an appealing approach to combat various security attacks. However, the performance of applications can severely...
117
Voted
SEC
2008
14 years 11 months ago
2008
Design diversity is a well-known method to ensure fault tolerance. Such a method has also been applied successfully in various projects to provide intrusion detection and tolerance...