298 search results - page 23 / 60 » Secure Web Application Development and Global Regulation |
CCS
2011
ACM
12 years 7 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
Careless development of web-based applications results in vulnerable code being deployed and made available to the whole Internet, creating easily-exploitable entry points for the...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
DEXAW
2005
IEEE
14 years 1 months ago
2005
IEEE
Ontologies provide a means of modelling and representing a knowledge domain. Such representation, already used in purpose-built distributed information systems, can also be of gre...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...