297 search results - page 23 / 60 » Secure Code Generation for Web Applications |
TAICPART
2010
IEEE
14 years 8 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
BMCBI
2010
14 years 9 months ago
2010
Background: With the rapidly falling cost and availability of high throughput sequencing and microarray technologies, the bottleneck for effectively using genomic analysis in the ...
JSS
2007
14 years 9 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
197
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
SP
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...