5188 search results - page 25 / 1038 » Information Flow in Interactive Systems |
101
click to vote
ESORICS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
113
click to vote
SAC
2009
ACM
15 years 6 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...
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
105
click to vote
JCPHY
2011
14 years 2 months ago
2011
We propose a novel method to implicitly two-way couple Eulerian compressible flow to volumetric Lagrangian solids. The method works for both deformable and rigid solids and for a...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...