8623 search results - page 172 / 1725 » Software engineering for secure systems |
130
click to vote
DIAGRAMS
2006
Springer
15 years 6 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
133
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
105
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
133
Voted
ESEM
2009
ACM
15 years 19 days ago
2009
ACM
In an empirical study of fourteen widely used open source PHP web applications, we found that the vulnerability density of the aggregate code base decreased from 8.88 vulnerabilit...
121
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...