{"id":471,"date":"2014-03-07T11:49:11","date_gmt":"2014-03-07T10:49:11","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/2014\/03\/07\/seminaire-verification-automatisee-des-protocoles-cryptographiques\/"},"modified":"2020-09-04T18:46:56","modified_gmt":"2020-09-04T16:46:56","slug":"seminaire-verification-automatisee-des-protocoles-cryptographiques","status":"publish","type":"post","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/2014\/03\/07\/seminaire-verification-automatisee-des-protocoles-cryptographiques\/","title":{"rendered":"S\u00e9minaire : \u00ab\u00a0V\u00e9rification automatis\u00e9e des protocoles cryptographiques\u00a0\u00bb"},"content":{"rendered":"

le 26 mars<\/strong> 14h<\/strong> – 15h30 – salle : A004<\/strong><\/p>\n

Par Claire Sond\u00e8s LARAFA<\/strong><\/p>\n

Titre : V\u00e9rification automatis\u00e9e des protocoles cryptographiques<\/strong><\/p>\n

R\u00e9sum\u00e9 :<\/strong> <\/p>\n

Le travail sur la v\u00e9rification des protocoles cryptographiques a commenc\u00e9 depuis au moins 25 ans. Pourtant, il est longtemps demeur\u00e9 l\u2019apanage de quelques sp\u00e9cialistes aux universit\u00e9s d\u2019Oxford, de Cambridge, de Stanford ou encore de Californie Santa Cruz. <\/p>\n

R\u00e9cemment, dans une optique d\u2019industrialisation, l\u2019Europe a concentr\u00e9 l\u2019effort de recherche sur la mise en \u0153uvre d\u2019outils automatis\u00e9s de v\u00e9rification des protocoles cryptographiques proches de l\u2019utilisateur. <\/p>\n

Dans cette pr\u00e9sentation, nous rappellerons quelques principes g\u00e9n\u00e9raux de la v\u00e9rification et illustrerons notre propos par l\u2019utilisation de certains de ces outils tels que Scyther et Proverif. Nous montrerons que la d\u00e9finition de certaines propri\u00e9t\u00e9s de s\u00e9curit\u00e9 est loin d\u2019\u00eatre intuitive et, de ce fait, d\u00e9licate \u00e0 v\u00e9rifier. <\/p>\n

Plusieurs protocoles, y compris TLS et IKE, seront utilis\u00e9s \u00e0 titre d\u2019exemples. <\/p>\n

Nous verrons que les outils actuels permettent effectivement de trouver des vuln\u00e9rabilit\u00e9s m\u00eame dans des protocoles connus et utilis\u00e9s depuis longtemps. <\/p>\n

PDF de la pr\u00e9sentation<\/a><\/strong><\/p>\n

Biographie :<\/strong> <\/p>\n

Ing\u00e9nieur de T\u00e9l\u00e9com SudParis, Claire Sond\u00e8s LARAFA y a aussi soutenu sa th\u00e8se. Elle travaille depuis 2012 \u00e0 l\u2019agence nationale de la s\u00e9curit\u00e9 des syst\u00e8mes d\u2019information (ANSSI). Ses th\u00e8mes de recherche se focalisent sur la conception, la validation et la mise en \u0153uvre de protocoles cryptographiques dans diverses sortes de r\u00e9seaux, principalement Internet et les r\u00e9seaux sans fil de type ad hoc.<\/p>\n

\n","protected":false},"excerpt":{"rendered":"

le 26 mars 14h – 15h30 – salle : A004 Par Claire Sond\u00e8s LARAFA Titre : V\u00e9rification automatis\u00e9e des protocoles cryptographiques R\u00e9sum\u00e9 : Le travail sur la v\u00e9rification des protocoles cryptographiques a commenc\u00e9 depuis au moins 25 ans. Pourtant, il est longtemps demeur\u00e9 l\u2019apanage de quelques sp\u00e9cialistes aux universit\u00e9s d\u2019Oxford, de Cambridge, de Stanford ou […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"","ocean_second_sidebar":"","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"","ocean_custom_header_template":"","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"","ocean_menu_typo_font_family":"","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"","ocean_post_oembed":"","ocean_post_self_hosted_media":"","ocean_post_video_embed":"","ocean_link_format":"","ocean_link_format_target":"self","ocean_quote_format":"","ocean_quote_format_link":"post","ocean_gallery_link_images":"on","ocean_gallery_id":[],"footnotes":""},"categories":[398],"tags":[],"class_list":["post-471","post","type-post","status-publish","format-standard","hentry","category-seminaires-transversaux-fr","entry"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/471","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=471"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/471\/revisions"}],"predecessor-version":[{"id":1822,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/471\/revisions\/1822"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=471"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=471"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=471"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}