Leçon inaugurale prononcée le 10 mars 2011 Chaire dInformatique et sciences numériques Aujourdhui, les questions de sécurité informatique sont omniprésentes, non seulement dans le renseignement militaire mais également dans la finance, le commerce, la gestion de données médicales, les réseaux sociaux et bien dautres cadres. À partir dun exemple de la vie courante, le spam, Martin Abadi aborde des aspects variés de linformatique tels que les protocoles cryptographiques, les modèles de ca-- |