Second Workshop on Games, Logic and Security, Rennes, France
25 October 2011 - 25 October 2011
France
The Second Workshop on Games, Logic and Security will take place from 25 to 27 October 2011 in Rennes, France.
Security and privacy problems in computer networks and mobile applications can arise from the interaction between agents of the network (which can be individuals as well as devices or software acting autonomously). Modeling the interaction between agents is essential to addressing security problems.
Game theory and logic are prominent frameworks for the formal treatment of interaction. They permit not only to model and represent this interaction between agents, but they also lead to the development of applicable algorithms and decision procedures. In the past two decades, a number of logical frameworks and game-theoretic approaches have been proposed to model and analyse computer networks from the security point of view, sometimes resorting to non-classical logics (such as epistemic or intuitionistic logics).
The event will gather researchers interested in games, logic and security (in a broad sense), and be a forum for work and the exchange of ideas.For further information, please visit: http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html(opens in new window)
Security and privacy problems in computer networks and mobile applications can arise from the interaction between agents of the network (which can be individuals as well as devices or software acting autonomously). Modeling the interaction between agents is essential to addressing security problems.
Game theory and logic are prominent frameworks for the formal treatment of interaction. They permit not only to model and represent this interaction between agents, but they also lead to the development of applicable algorithms and decision procedures. In the past two decades, a number of logical frameworks and game-theoretic approaches have been proposed to model and analyse computer networks from the security point of view, sometimes resorting to non-classical logics (such as epistemic or intuitionistic logics).
The event will gather researchers interested in games, logic and security (in a broad sense), and be a forum for work and the exchange of ideas.For further information, please visit: http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html(opens in new window)