3544 search results - page 678 / 709 » Information Security in Open Systems |
CACM
2008
14 years 10 months ago
2008
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. These errors, which can lead to crashes, erroneous execution, and...
IJNSEC
2006
14 years 10 months ago
2006
Alert correlation is an important technique for managing large the volume of intrusion alerts that are raised by heterogenous Intrusion Detection Systems (IDSs). The recent trend ...
ISI
2006
Springer
14 years 10 months ago
2006
Springer
An intelligence analyst often needs to keep track of more facts than can be held in human memory. As a result, analysts use a notebook or evidence file to record facts learned so f...
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
187
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...