Siódme warsztaty nt. kryptografii formalnej i obliczeniowej, Paryż, Francja
30 Czerwca 2011 - 30 Czerwca 2011
Francja
Dnia 30 czerwca 2011 r. w Paryżu, Francja, odbędą się siódme warsztaty nt. kryptografii formalnej i obliczeniowej.
Od lat 80. XX w. wypracowano dwa podejścia do analizy protokołów i systemów zabezpieczeń bazujących na kryptografii. Jedno z nich opiera się na modelu obliczeniowym, który uwzględnia problemy złożoności obliczeniowej i prawdopodobieństwa. Drugie podejście wykorzystuje symboliczne modele realizacji protokołów, w których komunikaty modelowane są za pomocą terminów algebraicznych i kryptograficznych, traktowanych jak idealne "czarne skrzynki". Każde z tych podejść napotyka na trudności analityczne i problemy.
Wydarzenie poświęcone będzie podejściom i wynikom projektów, które łączą i porównują symboliczną i obliczeniową analizę protokołów. Jeden zestaw wyników pozwala wywieść twierdzenia o korespondencji pomiędzy dwoma modelami, pokazując de facto, że w przypadku pewnej klasy protokołów i właściwości, bezpieczeństwo modelu symbolicznego oznacza bezpieczeństwo modelu obliczeniowego. W ramach innych prac naukowcy stosują techniki oparte na języku, jak algebra procesów, systemy typów czy logiki protokołów, by wysuwać bezpośrednie wnioski na temat modelu obliczeniowego. Prowadzone są także badania nad sposobami obliczeniowego zmechanizowania twardych dowodów na funkcjonowanie mechanizmów kryptograficznych.
Warsztaty organizowane są w ramach Sympozjum nt. Podstaw Bezpieczeństwa Komputerowego 2011.Więcej informacji: http://www.cs.ut.ee/~unruh/fcc2011/(odnośnik otworzy się w nowym oknie)
Od lat 80. XX w. wypracowano dwa podejścia do analizy protokołów i systemów zabezpieczeń bazujących na kryptografii. Jedno z nich opiera się na modelu obliczeniowym, który uwzględnia problemy złożoności obliczeniowej i prawdopodobieństwa. Drugie podejście wykorzystuje symboliczne modele realizacji protokołów, w których komunikaty modelowane są za pomocą terminów algebraicznych i kryptograficznych, traktowanych jak idealne "czarne skrzynki". Każde z tych podejść napotyka na trudności analityczne i problemy.
Wydarzenie poświęcone będzie podejściom i wynikom projektów, które łączą i porównują symboliczną i obliczeniową analizę protokołów. Jeden zestaw wyników pozwala wywieść twierdzenia o korespondencji pomiędzy dwoma modelami, pokazując de facto, że w przypadku pewnej klasy protokołów i właściwości, bezpieczeństwo modelu symbolicznego oznacza bezpieczeństwo modelu obliczeniowego. W ramach innych prac naukowcy stosują techniki oparte na języku, jak algebra procesów, systemy typów czy logiki protokołów, by wysuwać bezpośrednie wnioski na temat modelu obliczeniowego. Prowadzone są także badania nad sposobami obliczeniowego zmechanizowania twardych dowodów na funkcjonowanie mechanizmów kryptograficznych.
Warsztaty organizowane są w ramach Sympozjum nt. Podstaw Bezpieczeństwa Komputerowego 2011.Więcej informacji: http://www.cs.ut.ee/~unruh/fcc2011/(odnośnik otworzy się w nowym oknie)