L'analisi di sicurezza degli schemi crittografici, in passato, era spesso 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", introduce diverse tecniche per l'analisi formale di sicurezza dei crittosistemi: in questo modo è possibile fornire una dimostrazione matematica che un dato sistema è sicuro rispetto ad una certa classe di attaccanti (la più vasta possibile). 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.
Author(s): Daniele Venturi (auth.)
Series: UNITEXT / Collana di Informatica
Publisher: Springer Milan
Year: 2012
Language: Italian
Pages: XIV, 500 pagg.
Content:
Front Matter....Pages i-xiv
Introduzione....Pages 1-19
Front Matter....Pages 21-21
Sicurezza incondizionata....Pages 23-41
Randomicit� e pseudorandomicit� ....Pages 43-79
Funzioni hash....Pages 81-99
Cifrari simmetrici....Pages 101-143
Cifrari asimmetrici....Pages 145-182
Tecniche simmetriche di integrit� ....Pages 183-205
Tecniche asimmetriche di integrit� ....Pages 207-234
Reticoli e crittografia....Pages 235-255
Crittografia su base identit� ....Pages 257-277
Front Matter....Pages 279-279
„Scambi di mano“ sicuri....Pages 281-323
Password in crittografia....Pages 325-348
Conoscenza nulla....Pages 349-388
Computazione a parti multiple....Pages 389-422
Back Matter....Pages 423-501
