739 search results - page 22 / 148 » Information Flow in Credential Systems |
183
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
120
click to vote
FOSSACS
2010
Springer
15 years 11 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...
150
click to vote
CONCUR
2001
Springer
15 years 9 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 ...
116
click to vote
IFIP
2009
Springer
15 years 11 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...
114
click to vote
ICFEM
1997
Springer
15 years 8 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...