MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET
Industrial Control Systems (ICS) networks offer a high level of automation combined with high levels of control, quality and process improvement. Since network corporate users have to access the ICS environment, these networks have to be interconnected. However, this interconnection can introduce r...
Main Authors: | Adriano Borrego, Adilson Eduardo Guelfi, Anderson Aparecido Alves da Silva, Marcelo Teixeira de Azevedo, Norisvaldo Ferraz Jr, Sergio Takeo Kofuji |
---|---|
Format: | Article |
Language: | Portuguese |
Published: |
Universidade do Oeste Paulista
2020-12-01
|
Series: | Colloquium Exactarum |
Subjects: | |
Online Access: | http://revistas.unoeste.br/index.php/ce/article/view/3526 |
Similar Items
-
MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET
by: Adriano Borrego, et al.
Published: (2020-12-01) -
Evaluation of software architecture using fuzzy color Petri net
by: Zohreh Shiriyan Dehkordi, et al.
Published: (2013-02-01) -
Modeling the Elements of an Enterprise Infocommunication System Using Colored Petri Nets
by: Alexey Sukonschikov, et al.
Published: (2020-04-01) -
Colored petri net modeling of small interfering RNA-mediated messenger RNA degradation
by: Niloofar Nickaeen, et al.
Published: (2016-01-01) -
Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems
by: Zhen Wang, et al.
Published: (2020-01-01)