2213 search results - page 139 / 443 » Software Security |
131
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
159
Voted
WS
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents SCUBA (Secure Code Update By Attestation), for detecting and recovering compromised nodes in sensor networks. The SCUBA protocol enables the design of a sensor...
162
Voted
I3E
2001
15 years 4 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
116
click to vote
HOTSWUP
2009
ACM
15 years 8 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
78
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...