2079 search results - page 56 / 416 » Quantifying Information Flow |
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...
POPL
1998
ACM
13 years 12 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
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...
JCS
2007
13 years 7 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...