MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET.

Autor:	Borrego, Adriano1 a.borrego@gmail.com, Eduardo Guelfi, Adilson2 guelfi@unoeste.br, Alves da Silva, Anderson Aparecido3 anderson.silva@pad.lsi.usp.br, Teixeira de Azevedo, Marcelo4 marcelo.azevedo@pad.lsi.usp.br, Ferraz Jr, Norisvaldo4 norisjunior@gmail.com, Takeo Kofuji, Sergio4 kofuji@usp.br
Zdroj:	Colloquium Exactarum. 2020, Vol. 12 Issue 2, p45-61. 17p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu