Calvin Ko. Logic Induction of Valid Behavior Specifications for Intrusion Detection. In IEEE Symposium on Security and Privacy. pages 142-153, 2000. [doi]
@inproceedings{Ko00, title = {Logic Induction of Valid Behavior Specifications for Intrusion Detection}, author = {Calvin Ko}, year = {2000}, url = {http://computer.org/proceedings/s 26p/0665/06650142abs.htm}, tags = {logic}, researchr = {https://researchr.org/publication/Ko00}, cites = {0}, citedby = {0}, pages = {142-153}, booktitle = {IEEE Symposium on Security and Privacy}, }