Watch U - La webTV de l'UDA ! https://webtv.u-clermont1.fr Toutes les dernières vidéos de l'Université d'Auvergne. Toutes les dernières vidéos de l'Université d'Auvergne. Tue, 21 Nov 2017 00:00:00 +0100 2017 <![CDATA[Séminaire confiance numérique (Pascal Lafourcade, LIMOS)]]> https://webtv.u-clermont1.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