191 search results - page 11 / 39 » Building Intrusion-Tolerant Secure Software |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
ESORICS
1992
Springer
14 years 13 hour ago
1992
Springer
After a brief survey of the problems related to audit trail analysis and of some approaches to deal with them, the paper outlines the project ASAX which aims at providing an advanc...
IADIS
2003
13 years 9 months ago
2003
This paper describes the development of a software tool for detection of vulnerabilities in networked systems, using public available security resources. Our tool builds is knowle...
RSP
2007
IEEE
14 years 2 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...