Síntese de uma Nova Política de Ofuscação que Garanta Diferentes Níveis de Privacidade e Utilidade

Abstract

The world is increasingly connected through computer networks, which makes it necessary to develop techniques capable of guaranteeing the privacy and utility of the transmitted information. In this work we consider the problem of obfuscation of discrete event systems that guarantees different levels of both privacy and utility of the generated information. The system is modeled as a labeled transition system that has secret states. The first goal is to keep the information generated by the system useful so that legitimate users can use it for decision making. At the same time, the second goal is to hide critical information about the secret states of the system. However, unlike the previous approaches presented in the literature, we consider the case in which it is possible for the obfuscator to report the secret states. Thus, this approach increases the number of systems capable of being obfuscated and, since it keeps the public view of the system with the same behavior as the original system, it makes difficult to notice the presence of the obfuscator. To perform the synthesis of the obfuscator we used the software SynthSMV.