624 search results - page 75 / 125 » Application of Lightweight Formal Methods to Software Securi... |
108
click to vote
CCS
2003
ACM
15 years 5 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
104
click to vote
GD
2008
Springer
15 years 28 days ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
108
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
EUROSYS
2009
ACM
15 years 9 months ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...