946 search results - page 25 / 190 » Software engineering for security: a roadmap |
115
Voted
SIGSOFT
2010
ACM
14 years 7 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...
74
Voted
ICSM
2002
IEEE
15 years 2 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....
80
Voted
COMPSAC
2003
IEEE
15 years 3 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...
59
Voted
ACSAC
1999
IEEE
15 years 2 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...
APSEC
2006
IEEE
15 years 3 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...