5188 search results - page 43 / 1038 » Information Flow in Interactive Systems |
102
click to vote
ASPLOS
2004
ACM
15 years 5 months ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...
103
click to vote
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
102
click to vote
CSFW
2003
IEEE
15 years 5 months 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...
110
click to vote
SIGOPS
2010
14 years 10 months ago
2010
Gossip-based protocols are commonly used for diffusing information in large-scale distributed applications. GO (Gossip Objects) is a per-node gossip platform that we developed in...
TCS
2010
14 years 10 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...