132 search results - page 3 / 27 » Symbolic security analysis of ruby-on-rails web applications |
C3S2E
2009
ACM
13 years 10 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
CORR
2007
Springer
13 years 6 months ago
2007
Springer
Abstract. In data analysis new forms of complex data have to be considered like for example (symbolic data, functional data, web data, trees, SQL query and multimedia data,. . . )....
TCC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
GRID
2005
Springer
13 years 11 months ago
2005
Springer
The paper provides an overview of available web applications and Web Services security vulnerability models and proposes a classification of the potential Grid and Web Services at...
CCS
2011
ACM
12 years 6 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...