488 search results - page 59 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
126
click to vote
DGO
2011
13 years 11 months ago
2011
The past few years have experienced an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous...
EUROSYS
2009
ACM
15 years 9 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...
IAW
2003
IEEE
15 years 5 months ago
2003
IEEE
— Intrusion detection and countermeasures response is an active area of research. In this paper, we examine integrating an intrusion detection engine with an active countermeasur...