8623 search results - page 152 / 1725 » Software engineering for secure systems |
ICECCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
SERP
2004
13 years 10 months ago
2004
At the heart of a well-disciplined, systematic methodology that explicitly supports the use of COTS components is a clearly defined process for effectively using components that m...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
AMAST
2000
Springer
14 years 1 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
EWSPT
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we discuss that software processes for the development of electronic commerce systems are different from software processes for other kinds of information systems. We...