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: | , , , , , |
---|---|
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 |