Aujourd'hui, 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

d'autres cadres. À partir d'un exemple de la vie courante,

le spam, Martin Abadi aborde des aspects variés de l'informatique

tels que les protocoles cryptographiques, les

modèles de calcul et les langages de programmation. Il

nous aide à comprendre les enjeux de la sécurité informatique,

ses outils fondamentaux et ses difficultés, tant

pratiques que scientifiques.