Detection of Worm Propagation Engines in the System Call Domain using Colored Petri Nets | IEEE Conference Publication | IEEE Xplore