1440 search results - page 110 / 288 » Third-Party Flow Control |
126
click to vote
TCS
2010
15 years 2 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...
139
click to vote
ASPLOS
2004
ACM
15 years 10 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...
173
click to vote
ICFP
2012
ACM
13 years 6 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 ...
100
click to vote
PAM
2009
Springer
15 years 11 months ago
2009
Springer
This paper analyzes the performance of two implementations of J-Flow, the flow measurement tool deployed on most Juniper routers. Our work relies on both controlled experiments an...
138
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...