MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET
Borrego, Adriano, Eduardo Guelfi, Adilson, Aparecido Alves da Silva, Anderson, Teixeira de Azevedo, Marcelo, Ferraz Jr, Norisvaldo, Takeo Kofuji, Sergio
Published in Colloquium Exactarum (Online) (01.12.2020)
Published in Colloquium Exactarum (Online) (01.12.2020)
Get full text
Journal Article
MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET
Adriano Borrego, Adilson Eduardo Guelfi, Anderson Aparecido Alves da Silva, Marcelo Teixeira de Azevedo, Norisvaldo Ferraz Jr, Sergio Takeo Kofuji
Published in Colloquium Exactarum (Online) (01.12.2020)
Get full text
Published in Colloquium Exactarum (Online) (01.12.2020)
Journal Article