3420 search results - page 579 / 684 » A Language-Based Approach to Security |
CCR
2005
13 years 10 months ago
2005
This paper focuses on "router-based" defense mechanisms, and whether they can provide effective solutions to network Denialof-Service (DoS) attacks. Router-based defense...
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
User-input validators play an essential role in guarding a web application against application-level attacks. Hence, the security of the web application can be compromised by defe...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Web sites and web browsers have recently evolved into platforms on top of which entire applications are delivered dynamically, mostly as JavaScript source code. This delivery form...
SAFECOMP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...