120 search results - page 14 / 24 » Refactoring programs to secure information flows |
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
103
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
TOCS
2002
14 years 11 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
104
click to vote
APLAS
2003
ACM
15 years 3 months ago
2003
ACM
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is ...