1527 search results - page 47 / 306 » Demographic information flows |
135
Voted
JCS
2007
15 years 3 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
138
Voted
ICUMT
2009
15 years 1 months ago
2009
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...
153
click to vote
IEEEARES
2009
IEEE
15 years 10 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...
113
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
137
Voted
ISSTA
2010
ACM
15 years 7 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 ...