Séminaire confiance numérique (Pascal Lafourcade, LIMOS)

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

731 vues
Jeudi 07 Novembre 2013
Tag(s) : confiance numerique, sécurité informatique
Partager : Facebook
Intégrer :
Vidéos suggérées