848 search results - page 6 / 170 » Secure Information Flow for Distributed Systems |
CSFW
2005
IEEE
14 years 9 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
MICRO
2006
IEEE
14 years 21 days ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
IEEEARES
2009
IEEE
14 years 1 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
FCT
2005
Springer
14 years 6 days ago
2005
Springer
CSFW
2007
IEEE
13 years 10 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...