1. Pantheon
  2. Teses e Dissertações
  3. Teses e Dissertações defendidas na UFRJ
  4. Engenharias
  5. Engenharia Elétrica
Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/11351
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorBasilio, João Carlos dos Santos-
dc.contributor.authorBarcelos, Raphael Julio-
dc.date.accessioned2020-02-17T15:49:01Z-
dc.date.available2023-12-21T03:06:50Z-
dc.date.issued2018-03-
dc.identifier.urihttp://hdl.handle.net/11422/11351-
dc.description.abstractOpacity is a property that ensures that a secret behavior of the system is kept hidden from an Intruder. In this work, we deal with current-state opacity, and propose an Opacity-Enforcer that is able to change, in an appropriate way, the order of observation in the event occurrences in the system, so as to mislead the Intruder to always wrongly estimate at least one non-secret state. A necessary and sufficient condition for the feasibility of the Opacity-Enforcer synthesis is presented and also two algorithms to build the automaton that realizes such an enforcement.pt_BR
dc.languageengpt_BR
dc.publisherUniversidade Federal do Rio de Janeiropt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectEngenharia elétricapt_BR
dc.subjectSistemas à eventos discretospt_BR
dc.subjectOpacidadept_BR
dc.titleEnforcing current-state opacity through shuffle in event observationspt_BR
dc.typeDissertaçãopt_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/2554798501134330pt_BR
dc.contributor.referee1Carvalho, Lilian Kawakami-
dc.contributor.referee2Pena, Patrícia Nascimento-
dc.description.resumoOpacidade é 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 tal forma que o Intruso seja enganado e sempre estime, erroneamente, pelo menos um estado não secreto. Condições necessárias e suficientes para a síntese do Forçador de Opacidade são propostas a fim de que a mesma seja factível e são também apresentados dois algoritmos para construção do autômato que implementa a estratégia usada pelo Forçador de Opacidade.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenhariapt_BR
dc.publisher.programPrograma de Pós-Graduação em Engenharia Elétricapt_BR
dc.publisher.initialsUFRJpt_BR
dc.subject.cnpqCNPQ::ENGENHARIAS::ENGENHARIA ELETRICApt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Engenharia Elétrica

Files in This Item:
File Description SizeFormat 
887602.pdf1.89 MBAdobe PDFView/Open
Show simple item record Recommend this item View Statistics


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.