946 search results - page 25 / 190 » Software engineering for security: a roadmap |
211
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...
155
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
156
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
126
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
Collaborative software projects such as Linux and Apache have shown that a large, complex system can be built and maintained by many developers working in a highly parallel, relat...
152
click to vote
APSEC
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...