Watch U - La webTV de l'UDA ! https://webtv.old.uca.fr Toutes les dernières vidéos de l'Université d'Auvergne. Toutes les dernières vidéos de l'Université d'Auvergne. Wed, 18 May 2022 00:00:00 +0200 2022 <![CDATA[Séminaire confiance numérique (Pascal Lafourcade, LIMOS)]]> https://webtv.old.uca.fr/media-MEDIA131107154237963

Comment avoir confiance dans les applications numériques ?
Les méthodes formelles à la rescousse.

La sécurité est devenue une des priorités dans le développement de nouvelles applications.

Dans cet exposé nous montrerons comment les méthodes formelles peuvent aider à l'analyse et à la conception de protocoles sécurisés dans les domaines du vote électronique, des ventes aux enchères et des examens électroniques.

 

Site web : confiance-numerique.clermont-universite.fr

]]>
Thu, 07 Nov 2013 15:42:00 +0100