Sciweavers

95 search results - page 1 / 19
» The Complexity of Synchronous Notions of Information Flow Se...
Sort
View
FOSSACS
2010
Springer
13 years 10 months ago
The Complexity of Synchronous Notions of Information Flow Security
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
Franck Cassez, Ron van der Meyden, Chenyi Zhang
ESORICS
2006
Springer
13 years 7 months ago
Timing-Sensitive Information Flow Analysis for Synchronous Systems
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...
Boris Köpf, David A. Basin
CSFW
2008
IEEE
13 years 10 months ago
Information Flow in Systems with Schedulers
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
Ron van der Meyden, Chenyi Zhang
ESORICS
2010
Springer
13 years 4 months ago
On Bounding Problems of Quantitative Information Flow
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
Hirotoshi Yasuoka, Tachio Terauchi
PARMA
2004
106views Database» more  PARMA 2004»
13 years 5 months ago
The Notion of Similarity in Data and Pattern Spaces
In the recent years, our ability of collecting information rapidly increases and huge databases that change over time in a high frequency have been developed. On the other hand, th...
Irene Ntoutsi