5188 search results - page 32 / 1038 » Information Flow in Interactive Systems |
115
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
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...
146
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
107
click to vote
IFIP
2009
Springer
15 years 10 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...
107
Voted
ICFEM
1997
Springer
15 years 7 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
122
Voted
TIT
2008
15 years 3 months ago
2008
Abstract-- Distributed detection of information flows by timing analysis is considered. Timing measurements are subject to perturbations and the insertion of chaff noise. Moreover,...