Author:
Cardoso João M.C.,Moreira Marcos V.,Carvalho Lilian K.
Funder
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro
Reference15 articles.
1. Cyber-physical systems and their security issues;Alguliyev;Computers in Industry,2018
2. Discrete-event systems subject to unknown sensor attacks;Alves;Discrete Event Dynamic Systems,2022
3. Principles of model checking;Baier,2008
4. Detection and mitigation of classes of attacks in supervisory control systems;Carvalho;Automatica,2018
5. A formal model of obfuscation and negotiation for location privacy;Duckham,2005