848 search results - page 4 / 170 » Secure Information Flow for Distributed Systems |
WISTP
2007
Springer
14 years 18 days ago
2007
Springer
JCS
2008
13 years 6 months ago
2008
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
CSFW
2010
IEEE
13 years 10 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
CONCUR
2001
Springer
13 years 11 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
CCS
2007
ACM
14 years 20 days ago
2007
ACM
Malicious programs spy on users’ behavior and compromise their privacy. Even software from reputable vendors, such as Google Desktop and Sony DRM media player, may perform undes...