125 search results - page 1 / 25 » Secure Software Development through Coding Conventions and F... |
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
It is difficult to apply existing software development methods to security concerns. Using software for security testing purposes, in particular, is hard to do. The fact that ther...
CODES
2005
IEEE
13 years 10 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
WETICE
2000
IEEE
13 years 9 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...
ICSM
1997
IEEE
13 years 9 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
PST
2008
13 years 6 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...