Deuxième atelier sur les jeux, la logique et la sécurité à Rennes, en France
25 Octobre 2011 - 25 Octobre 2011
France
Le deuxième atelier sur les jeux, la logique et la sécurité aura lieu du 25 au 27 octobre 2011 à Rennes, en France.
Des problèmes de sécurité et de respect de la vie privée dans les réseaux informatiques et les applications mobiles peuvent survenir entre les agents du réseau (il peut s'agir de personnes comme de dispositifs ou de logiciel agissant de manière autonome). La modélisation des interactions entre agents est essentielle pour répondre aux problèmes de sécurité.
La théorie des jeux et la logique sont des cadres proéminents pour le traitement officiel de l'interaction. Ils permettent non seulement de modéliser et de représenter cette interaction entre agents, mais mènent aussi au développement d'algorithmes applicables et de processus décisionnels. Ces deux dernières décennies, un certain nombre de cadres logiques et d'approches théoriques aux jeux ont été proposées pour modéliser et analyser les réseaux informatiques d'un point de vue de la sécurité, parfois en ayant recours à des logiques non classiques (telles que la logique épistémique ou intuitionniste).
L'évènement rassemblera des chercheurs s'intéressant aux jeux, à la logique et la sécurité (au sens large) et sera un forum pour les travaux et l'échange d'idées.Pour de plus amples informations, consulter: http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html(s’ouvre dans une nouvelle fenêtre)
Des problèmes de sécurité et de respect de la vie privée dans les réseaux informatiques et les applications mobiles peuvent survenir entre les agents du réseau (il peut s'agir de personnes comme de dispositifs ou de logiciel agissant de manière autonome). La modélisation des interactions entre agents est essentielle pour répondre aux problèmes de sécurité.
La théorie des jeux et la logique sont des cadres proéminents pour le traitement officiel de l'interaction. Ils permettent non seulement de modéliser et de représenter cette interaction entre agents, mais mènent aussi au développement d'algorithmes applicables et de processus décisionnels. Ces deux dernières décennies, un certain nombre de cadres logiques et d'approches théoriques aux jeux ont été proposées pour modéliser et analyser les réseaux informatiques d'un point de vue de la sécurité, parfois en ayant recours à des logiques non classiques (telles que la logique épistémique ou intuitionniste).
L'évènement rassemblera des chercheurs s'intéressant aux jeux, à la logique et la sécurité (au sens large) et sera un forum pour les travaux et l'échange d'idées.Pour de plus amples informations, consulter: http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html(s’ouvre dans une nouvelle fenêtre)