Drugie warsztaty na temat gier, logiki i bezpieczeństwa, Rennes, Francja
25 Października 2011 - 25 Października 2011
Francja
W dniach 25-27 października 2011 r. we francuskim Rennes odbędą się drugie warsztaty na temat gier, logiki i bezpieczeństwa.
Problemy dotyczące bezpieczeństwa i prywatności w sieciach komputerowych i mobilnych mogą wynikać z interakcji między agentami w sieci (mogą to być osoby, jak i urządzenia lub oprogramowanie). Stworzenie modelu interakcji pomiędzy takimi agentami jest niezbędne dla rozwiązania problemów w zakresie bezpieczeństwa.
Teoria gier i logika są głównymi ramami dla formalnego ujęcia tych interakcji. Nie tylko pozwalają one na stworzenie modelu i przedstawienie interakcji pomiędzy agentami, ale także umożliwiają opracowanie odpowiednich algorytmów i procedur decyzyjnych. W ostatnich dwóch dziesięcioleciach zaproponowano szereg metod opartych na logice i teorii gier, służących do modelowania i analizowania sieci komputerowych z punktu widzenia bezpieczeństwa, czasami uciekając się do logiki nieklasycznej (np. logika epistemiczna czy intuicjonistyczna).
Wydarzenie zgromadzi naukowców zainteresowanych grami, logiką i bezpieczeństwem (w szerokim rozumieniu) i będzie stanowić forum współpracy i wymiany pomysłów.Więcej informacji: http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html(odnośnik otworzy się w nowym oknie)
Problemy dotyczące bezpieczeństwa i prywatności w sieciach komputerowych i mobilnych mogą wynikać z interakcji między agentami w sieci (mogą to być osoby, jak i urządzenia lub oprogramowanie). Stworzenie modelu interakcji pomiędzy takimi agentami jest niezbędne dla rozwiązania problemów w zakresie bezpieczeństwa.
Teoria gier i logika są głównymi ramami dla formalnego ujęcia tych interakcji. Nie tylko pozwalają one na stworzenie modelu i przedstawienie interakcji pomiędzy agentami, ale także umożliwiają opracowanie odpowiednich algorytmów i procedur decyzyjnych. W ostatnich dwóch dziesięcioleciach zaproponowano szereg metod opartych na logice i teorii gier, służących do modelowania i analizowania sieci komputerowych z punktu widzenia bezpieczeństwa, czasami uciekając się do logiki nieklasycznej (np. logika epistemiczna czy intuicjonistyczna).
Wydarzenie zgromadzi naukowców zainteresowanych grami, logiką i bezpieczeństwem (w szerokim rozumieniu) i będzie stanowić forum współpracy i wymiany pomysłów.Więcej informacji: http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html(odnośnik otworzy się w nowym oknie)