Modeling of information systems security features with colored Petri nets

Abstract

In this paper, instead of designing a model of information system considering all security features, we have incorporated security' into an existing non-secured model. This makes our approach pragmatic and economical. As a starting point we have used a colored Petri net model of the information system. Then we incrementally added several desired security features to the colored Petri net model of the original information system. We illustrate our approach to the information systems security design by using example of a system of conference paper submission and design/CPN software platform