1183 search results - page 150 / 237 » On flow-sensitive security types |
122
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
User-input validators play an essential role in guarding a web application against application-level attacks. Hence, the security of the web application can be compromised by defe...
152
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
145
Voted
CCS
2009
ACM
16 years 5 months ago
2009
ACM
Botnets dominate today's attack landscape. In this work we investigate ways to analyze collections of malicious probing traffic in order to understand the significance of lar...
172
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
133
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Tools for analysing secure information flow are almost exclusively based on ideas going back to Denning’s work from the 70’s. This approach embodies an imperfect notion of sec...