Sciweavers

297 search results - page 49 / 60
» Secure Code Generation for Web Applications
Sort
View
COOTS
1998
14 years 11 months ago
The Design and Performance of MedJava
The Java programming language has gained substantial popularity in the past two years. Java's networking features, along with the growing number of Web browsers that execute J...
Prashant Jain, Seth Widoff, Douglas C. Schmidt
FASE
2006
Springer
15 years 1 months ago
A Graph-Based Approach to Transform XML Documents
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
Gabriele Taentzer, Giovanni Toffetti Carughi
ICSE
2008
IEEE-ACM
15 years 10 months ago
Static detection of cross-site scripting vulnerabilities
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
Gary Wassermann, Zhendong Su
CADE
2000
Springer
15 years 2 months ago
Machine Instruction Syntax and Semantics in Higher Order Logic
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
Neophytos G. Michael, Andrew W. Appel
CCGRID
2005
IEEE
15 years 3 months ago
A grid-based problem solving environment for GECEM
Grid-enabled portals are becoming increasingly popular as a means to create Grid-based problem-solving environments (PSEs) that allow scientists to access distributed resources, a...
Maria Lin, David W. Walker, Yu Chen, Jason W. Jone...