6812 search results - page 62 / 1363 » Detection of Information Flows |
119
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...
113
click to vote
CSR
2007
Springer
15 years 11 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...
118
click to vote
ADVCS
2008
15 years 3 months 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 ...
157
click to vote
SAC
2009
ACM
15 years 11 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...
155
click to vote
SPC
2005
Springer
15 years 10 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 ...