139 search results - page 20 / 28 » Abstracting application-level web security |
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
TRUSTBUS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
TRUSTBUS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Approaches against Phishing can be classified into modifications of the traditional PIN/TAN-authentication on the one hand and approaches that try to reduce the probabi...
OOPSLA
1995
Springer
14 years 1 months ago
1995
Springer
In Self 4.0, people write programs by directly constructing webs of objects in a larger world of objects. But in order to save or share these programs, the objects must be moved t...
DIMVA
2008
13 years 11 months ago
2008
Abstract. This paper focuses on defense mechanisms for cross-site scripting attacks, the top threat on web applications today. It is believed that input validation (or filtering) c...