31 search results - page 1 / 7 » Probabilistic Information Flow in a Process Algebra |
CONCUR
2001
Springer
13 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 ...
CSFW
2000
IEEE
13 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...
CSFW
2002
IEEE
13 years 9 months ago
2002
IEEE
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Ou...
ICIP
2003
IEEE
14 years 6 months ago
2003
IEEE
In this paper, we define an observation model based on optical flow information to track objects using particle filter algorithms. Although the optical flow information enables us...
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...