Verificação da existência de um forçador de opacidade de estado atual de Sistemas a Eventos Discretos com múltiplos canais

Abstract

Cyber-Physical Systems (CPS) integrates physical plants with control and monitoring devices using communication networks. Since communication networks are used in CPS, some of the communication channels may be vulnerable to passive attacks with the objective of eavesdropping secret information. Thus, the implementation of security mechanisms is crucial in CPS. One of the strategies to ensure information security in CPS abstracted as DES is enforcing opacity. In this paper, we propose a new strategy to enforce current-state opacity of a networked DES with multiple channels based only on event replacements, where it is supposed that the attacker eavesdrops part of the communication channels to discover the system secret states. We present a method to verify the existence of an obfuscation policy based on event replacements (OPER) that ensures current-state opacity of CPS with multiple channels.