Colored Petri nets as the enabling technology in intrusion detection systems

Andrey M. Dolgikh, Tomas Nykodym, Victor A. Skormin, James Antonakos, M. Baimukhamedov. Colored Petri nets as the enabling technology in intrusion detection systems. In MILCOM 2011 - 2011 IEEE Military Communications Conference, Baltimore, MD, USA, November 7-10, 2011. pages 1297-1301, IEEE, 2011. [doi]

@inproceedings{DolgikhNSAB11,
  title = {Colored Petri nets as the enabling technology in intrusion detection systems},
  author = {Andrey M. Dolgikh and Tomas Nykodym and Victor A. Skormin and James Antonakos and M. Baimukhamedov},
  year = {2011},
  doi = {10.1109/MILCOM.2011.6127481},
  url = {http://dx.doi.org/10.1109/MILCOM.2011.6127481},
  researchr = {https://researchr.org/publication/DolgikhNSAB11},
  cites = {0},
  citedby = {0},
  pages = {1297-1301},
  booktitle = {MILCOM 2011 - 2011 IEEE Military Communications Conference, Baltimore, MD, USA, November 7-10, 2011},
  publisher = {IEEE},
  isbn = {978-1-4673-0079-7},
}