Title :
Modeling of information systems security features with colored Petri nets
Author :
Mikolajczak, Boleslaw ; Joshi, Sachin
Author_Institution :
Dept. of Comput. & Inf. Sci., Massachusetts Univ., Dartmouth, MA
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
Keywords :
Petri nets; access control; data integrity; information systems; security of data; access control; colored Petri nets; data integrity; incremental method; information systems security features; Access control; Communication system security; Computational modeling; Computer security; Data security; Distortion measurement; Information security; Information systems; Information technology; Petri nets;
Conference_Titel :
Systems, Man and Cybernetics, 2004 IEEE International Conference on
Conference_Location :
The Hague
Print_ISBN :
0-7803-8566-7
DOI :
10.1109/ICSMC.2004.1401304
