www.prismmodelchecker.org
[ZB09] Q. Zhu and T. Basar. Dynamic policy-based IDS configuration. In Proc. 48th IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, pages 8600-8605, IEEE. 2009. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications