132 search results - page 7 / 27 » Symbolic security analysis of ruby-on-rails web applications |
ICPADS
2006
IEEE
14 years 1 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
JTAER
2010
13 years 6 months ago
2010
An Input validation can be a critical issue. Typically, a little attention is paid to it in a web development project, because overenthusiastic validation can tend to cause failur...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
With the recent rapid increase in interactive web applications that employ back-end database services, an SQL injection attack has become one of the most serious security threats....
SP
2008
IEEE
14 years 1 months ago
2008
IEEE
Web applications are ubiquitous, perform missioncritical tasks, and handle sensitive user data. Unfortunately, web applications are often implemented by developers with limited se...