6 search results - page 2 / 2 » MCWEB: A Model-Checking Tool for Web Site Debugging |
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
An increasing number of cyber attacks are occurring at the application layer when attackers use malicious input. These input validation vulnerabilities can be exploited by (among ...