@inproceedings{jasiul:hal-01405661,
  TITLE = {{Malware Behavior Modeling with Colored Petri Nets}},
  AUTHOR = {Jasiul, Bartosz and Szpyrka, Marcin and {\'S}liwa, Joanna},
  URL = {https://inria.hal.science/hal-01405661},
  NOTE = {Part 9: Various Aspects of Computer Security},
  BOOKTITLE = {{13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM)}},
  ADDRESS = {Ho Chi Minh City, Vietnam},
  EDITOR = {Khalid Saeed and V{\'a}clav Sn{\'a}{\v s}el},
  PUBLISHER = {{Springer}},
  SERIES = {Computer Information Systems and Industrial Management},
  VOLUME = {LNCS-8838},
  PAGES = {667-679},
  YEAR = {2014},
  MONTH = Nov,
  DOI = {10.1007/978-3-662-45237-0\_60},
  KEYWORDS = {malware ; cyber attack ; Colored Petri net ; malware detection ; behavioral analysis},
  PDF = {https://inria.hal.science/hal-01405661/file/978-3-662-45237-0_60_Chapter.pdf},
  HAL_ID = {hal-01405661},
  HAL_VERSION = {v1},
}