Formal Reasoning About Intrusion Detection Systems [chapter]

Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl Levitt
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Intrusion detection is an appealing approach to improving the security of systems. The goal of intrusion detection is to detect attacks with low false positive rate and low false negative rate. New approach is needed to evaluate the effectiveness of the intrusion detection systems (IDSs). To my wife, Xiaohan Gu, and my daughter, Sophia Song. -iii-Acknowledgments
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30143-1_15">doi:10.1007/978-3-540-30143-1_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s3idznmfrbfoxjrjubd7m2leyi">fatcat:s3idznmfrbfoxjrjubd7m2leyi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20121206024102/http://www.cs.ucdavis.edu/research/tech-reports/2007/CSE-2007-13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/97/bc/97bcaf5ec9e349274608e310146db089974ec9cc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30143-1_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>