22 search results - page 2 / 5 » Software Security Analysis - Execution Phase Audit |
IEEEARES
2009
IEEE
13 years 2 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
NDSS
2000
IEEE
13 years 9 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
ICDCIT
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
WOSP
2005
ACM
13 years 10 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
ACSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...