26 search results - page 3 / 6 » Toward Automated Detection of Logic Vulnerabilities in Web A... |
CCS
2011
ACM
12 years 5 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
ISSRE
2008
IEEE
13 years 11 months ago
2008
IEEE
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
CAV
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
HICSS
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
CISIS
2008
IEEE
13 years 7 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...