Modeling of information systems security features with colored Petri nets

被引：0

作者：

Mikolajczak, B ^{[1
]}

Joshi, S ^{[1
]}

机构：

[1] Univ Massachusetts, Dept Comp & Informat Sci, Dartmouth, MA 02747 USA

来源：

2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7 | 2004年

关键词：

colored Petri nets; security; confidentiality; access control; data integrity; non-repudiation;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：4879 / 4884

页数：6

共 50 条

[1] Colored Petri Nets Based Modeling of Information Flow Security
Wu, Ruoyu
Li, Weiguo
Huang, He
[J]. WKDD: 2009 SECOND INTERNATIONAL WORKSHOP ON KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2009, : 681 - 684
[2] Dynamic modeling of information systems based on Colored Petri Nets
Yan, ZJ
Gan, RC
[J]. PROCEEDINGS OF THE 2001 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING, VOLS I AND II, 2001, : 284 - 289
[3] Modeling and Analysis of Security Protocols Using Colored Petri Nets
Xu, Yang
Xie, Xiaoyao
[J]. JOURNAL OF COMPUTERS, 2011, 6 (01) : 19 - 27
[4] AN INTRODUCTION TO SYSTEMS MODELING AND SIMULATION WITH COLORED PETRI NETS
Gehlot, Vijay
Nigro, Carmen
[J]. PROCEEDINGS OF THE 2010 WINTER SIMULATION CONFERENCE, 2010, : 104 - 118
[5] Modeling interactive systems with hierarchical colored Petri nets
Elkoutbi, M
Keller, RK
[J]. PROCEEDINGS OF THE HIGH-PERFORMANCE COMPUTING (HPC'98), 1998, : 432 - 437
[6] Colored Petri nets for modeling of networked control systems
Farah, Khamsa
Chabir, Karim
Abdelkrim, Mohamed Naceur
[J]. 2019 19TH INTERNATIONAL CONFERENCE ON SCIENCES AND TECHNIQUES OF AUTOMATIC CONTROL AND COMPUTER ENGINEERING (STA), 2019, : 226 - 230
[7] Modeling the Genetic Information Transmission Based on Colored Petri Nets
Yang, Jinliang
Lian, Jian
Pu, Haitao
Gao, Rui
[J]. 2014 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA), 2014, : 1025 - 1029
[8] Modeling of railway nets with colored Petri nets
Paliulis, E
Pranevicius, H
[J]. TRANSPORT MEANS 2004: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE, 2004, : 39 - 43
[9] Modeling Scalable Grid Information Services with Colored Petri Nets
Sahota, Vijay
Li, Maozhen
Hadjinicolaou, Marios
[J]. INTERNATIONAL JOURNAL OF GRID AND HIGH PERFORMANCE COMPUTING, 2010, 2 (01) : 51 - 68
[10] Colored stochastic petri nets for modeling complex biological systems
Liu, Fei
Yang, Ming
[J]. International Journal of Hybrid Information Technology, 2013, 6 (05): : 11 - 24

← 1 2 3 4 5 →