6527 search results - page 69 / 1306 » On Typing Information Flow |
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— This work presents a new approach to calculate the optical flow, which uses the decentralized information filter to accomplish a data fusion step. The proposal consists in ta...
CSFW
2003
IEEE
14 years 29 days ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
ECSCW
1997
13 years 9 months ago
1997
Abstract: In field studies designed to uncover opportunities for computationallyintensive business applications, we observed an interaction pattern we term "constellations&quo...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...