Event date: 2011-10-25 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.
Quality validation date: 2011-09-19
Drugie warsztaty na temat gier, logiki i bezpieczeństwa, Rennes, Francja
