Security Games (SGAMES)
Led jointly by Prof. Dr. Sjouke Mauw and Prof. Dr. Leon van der Torre
Link to project homepage
here
.
Project duration:
01/04/2009 - 01/04/2012
Funding source(s):
FNR CORE
Partners (external):
- European Science Foundation, PESC Research Networking Programme, Games
- for Design and Verification (GAMES).
- François Raskin (Université libre de Bruxelles)
- Ricky Kwok (Colorado State University)
Information security is not a static black-and-white system feature. Rather, it is a dynamic balance between a service provider trying to keep his system secure and an adversary trying to penetrate or abuse the service. Such interplay can be considered as a game between the adversary and the service provider and the field of game theory provides methods and tools to analyse such interactions.
Game theory has a long history in many different disciplines with their own goals, methodologies and culture. Games for verification and design have been studied in computer science for the last ten years. This fundamental research into extending and complementing traditional verification approaches from formal methods with game theoretic reasoning is paving the way for more effective verification tools.
These developments are of particular interest to the field of security, in which formal verification has always played an important role. The purpose of the project is to study how these new developments can be used to strengthen current analysis and verification techniques in information security.
The project will have two main lines of research:
- A study of the use of game-theoretic methods in the field of security, resulting in requirements on game-theoretic methods for security.
- The development of novel verification methods based on the combined use of formal verification techniques and a game theoretic approach, and its application to the field of security.
