Games with Opacity Condition

We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachability perfect information games and exploit this relation to discuss a search approach with heuristics, based on the directing-word problem in automata theory.

• Type: Conference
• Year: 2009
• Where: RP
• Authors: Bastien Maubert, Sophie Pinchinat
• Keywords: Adequate Model, Control Systems, Opacity Condition, Reachability Perfect Information, RP 2009