111 search results - page 9 / 23 » Traceability for the maintenance of secure software |
112
click to vote
WETICE
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
107
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
ICSM
2002
IEEE
15 years 4 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....
SIGSOFT
2004
ACM
16 years 12 days ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...