Tuttavia, lâanalisi di sicurezza di questi schemi crittografici (fino ai primi anni â80) era soprattutto guidata dallâintuito e dallâesperienza. Nuovi schemi venivano ideati e, dopo qualche tempo, inevitabilmente, un nuovo attacco alla sicurezza veniva scoperto. Il paradigma della âsicurezza dimostrabileâ ha trasformato la crittografia da arte a scienza, introducendo un paradigma formale per lâanalisi di sicurezza dei crittosistemi: in questo modo Ăš possibile fornire una dimostrazione matematica che un dato sistema Ăš sicuro rispetto ad una classe generale di attaccanti. Tanto piĂč vasta e vicina alla realtĂ Ăš questa classe, tanto piĂč forti sono le garanzie offerte dal crittosistema analizzato.
Il libro ha lo scopo di guidare lo studente (oppure il giovane ricercatore) nel mondo crittografico, in modo che acquisisca le metodologie di base, preparandosi alla ricerca nellâarea.