Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

RP
2009
Springer

favoriteEmaildiscussreport

121views Control Systems» more RP 2009»

Games with Opacity Condition

13 years 11 months ago

Games with Opacity Condition

Download www.irisa.fr

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.

Bastien Maubert, Sophie Pinchinat

Real-time Traffic

Adequate Model | Control Systems | Opacity Condition | Reachability Perfect Information | RP 2009 |

claim paper

Related Content

» Opacityenforcing supervisory strategies for secure discrete event systems

» A robotic game to evaluate interfaces used to show and teach visual objects to a robot in ...

» Knowledge Condition Games

» Transactions in the jungle

» Optimal Strategies in PerfectInformation Stochastic Games with Tail Winning Conditions

» Conditions of Engagement in Game Simulation Contexts of Gender Culture and Age

» Approximate Nash Equilibria under Stability Conditions

» Reduction of stochastic parity to stochastic meanpayoff games

» Pushdown Games with Unboundedness and Regular Conditions

Post Info
More Details (n/a)

Added	27 May 2010
Updated	27 May 2010
Type	Conference
Year	2009
Where	RP
Authors	Bastien Maubert, Sophie Pinchinat

Comments (0)