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 théoriques 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.Ce livre, initialement publié sous le même titre en 2011 en partenariat avec Fayard, est désormais commercialisé par le Collège de France sous un nouvel ISBN.