6812 search results - page 62 / 1363 » Detection of Information Flows |
IFIP
2009
Springer
15 years 8 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...
CSR
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
ADVCS
2008
15 years 6 hour ago
2008
We introduce a notion of causal independence based on virtual intervention, which is a fundamental concept of the theory of causal networks. Causal independence allows for de ning ...
127
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we present our research result that enables users to navigate a very large social network and to take a look at information flows on the network. To this end, we d...
129
click to vote
SPC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...