Logic Induction of Valid Behavior Specifications for Intrusion Detection

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},
}