%0 Conference Paper %1 conf/raid/SongKAZL04 %A Song, Tao %A Ko, Calvin %A Alves-Foss, Jim %A Zhang, Cui %A Levitt, Karl N. %B RAID %D 2004 %E Jonsson, Erland %E Valdes, Alfonso %E Almgren, Magnus %I Springer %K dblp %P 278-295 %T Formal Reasoning About Intrusion Detection Systems. %U http://dblp.uni-trier.de/db/conf/raid/raid2004.html#SongKAZL04 %V 3224 %@ 3-540-23123-4

@inproceedings{conf/raid/SongKAZL04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Song, Tao and Ko, Calvin and Alves-Foss, Jim and Zhang, Cui and Levitt, Karl N.}, biburl = {https://www.bibsonomy.org/bibtex/2154f97da1eec760f3a7a087a5ac1559a/dblp}, booktitle = {RAID}, crossref = {conf/raid/2004}, editor = {Jonsson, Erland and Valdes, Alfonso and Almgren, Magnus}, ee = {https://doi.org/10.1007/978-3-540-30143-1_15}, interhash = {afd1ac0a797424e48848b060f2200009}, intrahash = {154f97da1eec760f3a7a087a5ac1559a}, isbn = {3-540-23123-4}, keywords = {dblp}, pages = {278-295}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:25:01.000+0200}, title = {Formal Reasoning About Intrusion Detection Systems.}, url = {http://dblp.uni-trier.de/db/conf/raid/raid2004.html#SongKAZL04}, volume = 3224, year = 2004 }