132 search results - page 10 / 27 » Symbolic security analysis of ruby-on-rails web applications |
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Nowadays, the web-based architecture is the most frequently used for a wide range of internet services, as it allows to easily access and manage information and software on remote ...
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
We propose STILL, a signature-free remote exploit binary code injection attack blocker to protect web servers and web applications. STILL is robust to almost all anti-signature, a...