144 search results - page 3 / 29 » Information Flow Security in Dynamic Contexts |
134
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...
132
Voted
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
119
click to vote
ERSHOV
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
130
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
139
click to vote
ASIAN
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...