1150 search results - page 9 / 230 » Specifying Information-Flow Controls |
134
Voted
ICUMT
2009
15 years 11 days 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...
211
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
127
Voted
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
158
Voted
CCS
2010
ACM
15 years 2 months ago
2010
ACM
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...
100
Voted
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...