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

Volume

5

fYear

0

fDate

0-0 0

Firstpage

4879

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 2004 IEEE International Conference on

Conference_Location

The Hague

ISSN

1062-922X

Print_ISBN

0-7803-8566-7

Type

conf

DOI

10.1109/ICSMC.2004.1401304

Filename

1401304