FORÇAMENTO DE OPACIDADE DE ESTADO ATUAL POR MEIO DE TROCAS DAS OBSERVAÇÕES DE EVENTOS

Raphael Júlio Barcelos¹; João Carlos Basilio¹

¹ Universidade Federal do Rio de Janeiro

Baixar PDF doi:10.20906/CPS/CBA2018-0779

Resumo

Opacidade é uma propriedade que garante que qualquer comportamento secreto do sistema permaneça escondido de um Intruso. Neste trabalho será considerado o problema da opacidade de estado atual e será proposto um Forçador de Opacidade capaz de permutar adequadamente a ordem de observação dos eventos ocorridos no sistema de forma que o Intruso seja enganado e sempre estime, erroneamente, pelo menos um estado não secreto. Condições necessárias e suficientes para verificar se a síntese do Forçador de Opacidade é factível e dois algoritmos para construção do autômato que implementa a estratégia usada pelo Forçador de Opacidade são propostos. Os resultados do artigo são ilustrados utilizando-se um exemplo retirado da literatura

Palavras-chave: Sistemas a eventos discretos; Autômatos ; Opacidade; Segurança cibernética