Colored Petri Nets Based Modeling of Information Flow Security | IEEE Conference Publication | IEEE Xplore