A. M. Turing

94
Alan Turing La Crittografia Enigma Alan Mathison Turing Una (breve) introduzione alla crittografia Salvatore Tuccio Liceo Scientifico Statale Soverato 26 febbraio 2009 Salvatore Tuccio Non solo far di conto - a.s. 08-09

Transcript of A. M. Turing

Page 1: A. M. Turing

Alan TuringLa Crittografia

Enigma

Alan Mathison TuringUna (breve) introduzione alla crittografia

Salvatore Tuccio

Liceo Scientifico StataleSoverato

26 febbraio 2009

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 2: A. M. Turing

Alan TuringLa Crittografia

Enigma

Sommario

1 Alan TuringLa vitaL’eredità

2 La CrittografiaIntroduzionePerchéAlgoritmi

3 EnigmaLa macchina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 3: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Sommario

1 Alan TuringLa vitaL’eredità

2 La CrittografiaIntroduzionePerchéAlgoritmi

3 EnigmaLa macchina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 4: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

La breve esistenza

1912, 23 giugno, Londra1931, entra al King’s College di Cambridge1934, si laurea in Matematica con il massimo dei voti1935, macchina di Turing1938, breve permanenza a Princeton, rientro in Inghilterra1939-42, decritta Enigma1949, lavora alla programmazione sui primi computer.1952, viene arrestato per omosessualità1954, 7 giugno muore suicida a Wilmslow, Cheshire.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 5: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

La breve esistenza

1912, 23 giugno, Londra1931, entra al King’s College di Cambridge1934, si laurea in Matematica con il massimo dei voti1935, macchina di Turing1938, breve permanenza a Princeton, rientro in Inghilterra1939-42, decritta Enigma1949, lavora alla programmazione sui primi computer.1952, viene arrestato per omosessualità1954, 7 giugno muore suicida a Wilmslow, Cheshire.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 6: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

La breve esistenza

1912, 23 giugno, Londra1931, entra al King’s College di Cambridge1934, si laurea in Matematica con il massimo dei voti1935, macchina di Turing1938, breve permanenza a Princeton, rientro in Inghilterra1939-42, decritta Enigma1949, lavora alla programmazione sui primi computer.1952, viene arrestato per omosessualità1954, 7 giugno muore suicida a Wilmslow, Cheshire.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 7: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

La breve esistenza

1912, 23 giugno, Londra1931, entra al King’s College di Cambridge1934, si laurea in Matematica con il massimo dei voti1935, macchina di Turing1938, breve permanenza a Princeton, rientro in Inghilterra1939-42, decritta Enigma1949, lavora alla programmazione sui primi computer.1952, viene arrestato per omosessualità1954, 7 giugno muore suicida a Wilmslow, Cheshire.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 8: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

La breve esistenza

1912, 23 giugno, Londra1931, entra al King’s College di Cambridge1934, si laurea in Matematica con il massimo dei voti1935, macchina di Turing1938, breve permanenza a Princeton, rientro in Inghilterra1939-42, decritta Enigma1949, lavora alla programmazione sui primi computer.1952, viene arrestato per omosessualità1954, 7 giugno muore suicida a Wilmslow, Cheshire.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 9: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

La breve esistenza

1912, 23 giugno, Londra1931, entra al King’s College di Cambridge1934, si laurea in Matematica con il massimo dei voti1935, macchina di Turing1938, breve permanenza a Princeton, rientro in Inghilterra1939-42, decritta Enigma1949, lavora alla programmazione sui primi computer.1952, viene arrestato per omosessualità1954, 7 giugno muore suicida a Wilmslow, Cheshire.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 10: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

La breve esistenza

1912, 23 giugno, Londra1931, entra al King’s College di Cambridge1934, si laurea in Matematica con il massimo dei voti1935, macchina di Turing1938, breve permanenza a Princeton, rientro in Inghilterra1939-42, decritta Enigma1949, lavora alla programmazione sui primi computer.1952, viene arrestato per omosessualità1954, 7 giugno muore suicida a Wilmslow, Cheshire.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 11: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

La breve esistenza

1912, 23 giugno, Londra1931, entra al King’s College di Cambridge1934, si laurea in Matematica con il massimo dei voti1935, macchina di Turing1938, breve permanenza a Princeton, rientro in Inghilterra1939-42, decritta Enigma1949, lavora alla programmazione sui primi computer.1952, viene arrestato per omosessualità1954, 7 giugno muore suicida a Wilmslow, Cheshire.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 12: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

La breve esistenza

1912, 23 giugno, Londra1931, entra al King’s College di Cambridge1934, si laurea in Matematica con il massimo dei voti1935, macchina di Turing1938, breve permanenza a Princeton, rientro in Inghilterra1939-42, decritta Enigma1949, lavora alla programmazione sui primi computer.1952, viene arrestato per omosessualità1954, 7 giugno muore suicida a Wilmslow, Cheshire.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 13: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Un ritratto

Deep the apple in the brew.Let the Sleeping Death sep trough.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 14: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Sommario

1 Alan TuringLa vitaL’eredità

2 La CrittografiaIntroduzionePerchéAlgoritmi

3 EnigmaLa macchina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 15: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Principali contributi

contribuisce alla nascita dell’Informatica (primo ad usare iltermine computer)...e dell’IATuring TestTuring Machinedecrittazione di Enigma

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 16: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Principali contributi

contribuisce alla nascita dell’Informatica (primo ad usare iltermine computer)...e dell’IATuring TestTuring Machinedecrittazione di Enigma

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 17: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Principali contributi

contribuisce alla nascita dell’Informatica (primo ad usare iltermine computer)...e dell’IATuring TestTuring Machinedecrittazione di Enigma

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 18: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Principali contributi

contribuisce alla nascita dell’Informatica (primo ad usare iltermine computer)...e dell’IATuring TestTuring Machinedecrittazione di Enigma

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 19: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Principali contributi

contribuisce alla nascita dell’Informatica (primo ad usare iltermine computer)...e dell’IATuring TestTuring Machinedecrittazione di Enigma

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 20: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Turing Test: le origini

Turing, A.M. (1950). Computing machinery and intelligence. Mind, 59, 433-460.

COMPUTING MACHINERY AND INTELLIGENCEBy A. M. Turing

1. The Imitation GameI propose to consider the question, “Can machines think?”...

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 21: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Turing Test: il concetto

c©Copyright B.J. Copeland, July 2000 tratto da http://www.alanturing.net

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 22: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Turing Test: oggi

negli anni il Test di Turing è stato riformulato (imprecisionedella formulazione originale, ridefinizione di macchinaintelligente)ad oggi non ci sono macchine che hanno superato alcunodi questi test (quindi intelligenti)esistono diversi BOT (da Robot, programmi che emulanomacchine intelligenti)esiste un premio: Loebner Prize Gold Medal (Università diReading)edizione 2008: ha vinto Artificial Solutions con ilprogramma Elbot (www.elbot.com)

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 23: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Turing Test: oggi

negli anni il Test di Turing è stato riformulato (imprecisionedella formulazione originale, ridefinizione di macchinaintelligente)ad oggi non ci sono macchine che hanno superato alcunodi questi test (quindi intelligenti)esistono diversi BOT (da Robot, programmi che emulanomacchine intelligenti)esiste un premio: Loebner Prize Gold Medal (Università diReading)edizione 2008: ha vinto Artificial Solutions con ilprogramma Elbot (www.elbot.com)

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 24: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Turing Test: oggi

negli anni il Test di Turing è stato riformulato (imprecisionedella formulazione originale, ridefinizione di macchinaintelligente)ad oggi non ci sono macchine che hanno superato alcunodi questi test (quindi intelligenti)esistono diversi BOT (da Robot, programmi che emulanomacchine intelligenti)esiste un premio: Loebner Prize Gold Medal (Università diReading)edizione 2008: ha vinto Artificial Solutions con ilprogramma Elbot (www.elbot.com)

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 25: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Turing Test: oggi

negli anni il Test di Turing è stato riformulato (imprecisionedella formulazione originale, ridefinizione di macchinaintelligente)ad oggi non ci sono macchine che hanno superato alcunodi questi test (quindi intelligenti)esistono diversi BOT (da Robot, programmi che emulanomacchine intelligenti)esiste un premio: Loebner Prize Gold Medal (Università diReading)edizione 2008: ha vinto Artificial Solutions con ilprogramma Elbot (www.elbot.com)

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 26: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Turing Test: oggi

negli anni il Test di Turing è stato riformulato (imprecisionedella formulazione originale, ridefinizione di macchinaintelligente)ad oggi non ci sono macchine che hanno superato alcunodi questi test (quindi intelligenti)esistono diversi BOT (da Robot, programmi che emulanomacchine intelligenti)esiste un premio: Loebner Prize Gold Medal (Università diReading)edizione 2008: ha vinto Artificial Solutions con ilprogramma Elbot (www.elbot.com)

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 27: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Turing Test: Elbot

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 28: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing (MdT): come nasce

f : A → B, y = f (x), x ∈ A, y ∈ BUn importante problema: le funzioni effettivamentecalcolabiliFurono proposti diversi modelli per definire funzionicalcolabiliLa Macchine di Turing è uno di questi

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 29: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing (MdT): come nasce

f : A → B, y = f (x), x ∈ A, y ∈ BUn importante problema: le funzioni effettivamentecalcolabiliFurono proposti diversi modelli per definire funzionicalcolabiliLa Macchine di Turing è uno di questi

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 30: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing (MdT): come nasce

f : A → B, y = f (x), x ∈ A, y ∈ BUn importante problema: le funzioni effettivamentecalcolabiliFurono proposti diversi modelli per definire funzionicalcolabiliLa Macchine di Turing è uno di questi

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 31: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing (MdT): come nasce

f : A → B, y = f (x), x ∈ A, y ∈ BUn importante problema: le funzioni effettivamentecalcolabiliFurono proposti diversi modelli per definire funzionicalcolabiliLa Macchine di Turing è uno di questi

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 32: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing (MdT): cosa è

La Macchina di Turing è una macchina ideale checonsente di calcolare funzioniPer una Macchina di Turing è possibile specificare un inputed ottenere, al termine della computazione, l’outputLa tesi di Church postula che tutte le funzionieffettivamente calcolabili siano esprimibili con unaMacchina di TuringLa MdT fisicamente non esiste (ma in linea di principiopotrebbe essere realizzata)Esistono svariati esempi di simulatori software di MdT.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 33: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing (MdT): cosa è

La Macchina di Turing è una macchina ideale checonsente di calcolare funzioniPer una Macchina di Turing è possibile specificare un inputed ottenere, al termine della computazione, l’outputLa tesi di Church postula che tutte le funzionieffettivamente calcolabili siano esprimibili con unaMacchina di TuringLa MdT fisicamente non esiste (ma in linea di principiopotrebbe essere realizzata)Esistono svariati esempi di simulatori software di MdT.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 34: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing (MdT): cosa è

La Macchina di Turing è una macchina ideale checonsente di calcolare funzioniPer una Macchina di Turing è possibile specificare un inputed ottenere, al termine della computazione, l’outputLa tesi di Church postula che tutte le funzionieffettivamente calcolabili siano esprimibili con unaMacchina di TuringLa MdT fisicamente non esiste (ma in linea di principiopotrebbe essere realizzata)Esistono svariati esempi di simulatori software di MdT.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 35: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing (MdT): cosa è

La Macchina di Turing è una macchina ideale checonsente di calcolare funzioniPer una Macchina di Turing è possibile specificare un inputed ottenere, al termine della computazione, l’outputLa tesi di Church postula che tutte le funzionieffettivamente calcolabili siano esprimibili con unaMacchina di TuringLa MdT fisicamente non esiste (ma in linea di principiopotrebbe essere realizzata)Esistono svariati esempi di simulatori software di MdT.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 36: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing (MdT): cosa è

La Macchina di Turing è una macchina ideale checonsente di calcolare funzioniPer una Macchina di Turing è possibile specificare un inputed ottenere, al termine della computazione, l’outputLa tesi di Church postula che tutte le funzionieffettivamente calcolabili siano esprimibili con unaMacchina di TuringLa MdT fisicamente non esiste (ma in linea di principiopotrebbe essere realizzata)Esistono svariati esempi di simulatori software di MdT.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 37: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: come è fatta

Una MdT è definita da:un nastrouna testinauno stato internoun programmauno stato iniziale

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 38: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: come è fatta

Una MdT è definita da:un nastrouna testinauno stato internoun programmauno stato iniziale

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 39: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: come è fatta

Una MdT è definita da:un nastrouna testinauno stato internoun programmauno stato iniziale

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 40: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: come è fatta

Una MdT è definita da:un nastrouna testinauno stato internoun programmauno stato iniziale

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 41: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: come è fatta

Una MdT è definita da:un nastrouna testinauno stato internoun programmauno stato iniziale

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 42: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: regole

Il comportamento della macchina è determinato da uninsieme di regoleUna regola ha la forma seguente:[s, i , S(s, i), I(s, i), D(s, i)]Una regola viene applicata se lo stato corrente dellamacchina è s e il simbolo letto dalla testina è iL’applicazione della regola cambia lo stato in S(s, i), scrivesul nastro I(s, i) ed eventualmente sposta la testina di unacella a sinistra o a destra D(s, i)

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 43: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: regole

Il comportamento della macchina è determinato da uninsieme di regoleUna regola ha la forma seguente:[s, i , S(s, i), I(s, i), D(s, i)]Una regola viene applicata se lo stato corrente dellamacchina è s e il simbolo letto dalla testina è iL’applicazione della regola cambia lo stato in S(s, i), scrivesul nastro I(s, i) ed eventualmente sposta la testina di unacella a sinistra o a destra D(s, i)

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 44: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: regole

Il comportamento della macchina è determinato da uninsieme di regoleUna regola ha la forma seguente:[s, i , S(s, i), I(s, i), D(s, i)]Una regola viene applicata se lo stato corrente dellamacchina è s e il simbolo letto dalla testina è iL’applicazione della regola cambia lo stato in S(s, i), scrivesul nastro I(s, i) ed eventualmente sposta la testina di unacella a sinistra o a destra D(s, i)

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 45: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: regole

Il comportamento della macchina è determinato da uninsieme di regoleUna regola ha la forma seguente:[s, i , S(s, i), I(s, i), D(s, i)]Una regola viene applicata se lo stato corrente dellamacchina è s e il simbolo letto dalla testina è iL’applicazione della regola cambia lo stato in S(s, i), scrivesul nastro I(s, i) ed eventualmente sposta la testina di unacella a sinistra o a destra D(s, i)

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 46: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: schema

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 47: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: funzionamento

La macchina opera come segue:Determina la regola da applicare in base allo stato internoe al simbolo corrente (quello letto dalla testina)Se esiste una tale regola cambia lo stato, scrive il simbolosulla cella corrente si sposta come indicato dalla regolaSe non esiste la regola l’esecuzione termina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 48: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: funzionamento

La macchina opera come segue:Determina la regola da applicare in base allo stato internoe al simbolo corrente (quello letto dalla testina)Se esiste una tale regola cambia lo stato, scrive il simbolosulla cella corrente si sposta come indicato dalla regolaSe non esiste la regola l’esecuzione termina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 49: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: funzionamento

La macchina opera come segue:Determina la regola da applicare in base allo stato internoe al simbolo corrente (quello letto dalla testina)Se esiste una tale regola cambia lo stato, scrive il simbolosulla cella corrente si sposta come indicato dalla regolaSe non esiste la regola l’esecuzione termina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 50: A. M. Turing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: un simulatore

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 51: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Sommario

1 Alan TuringLa vitaL’eredità

2 La CrittografiaIntroduzionePerchéAlgoritmi

3 EnigmaLa macchina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 52: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

definizioni

crittografiasistema di crittografia (o cifratura)crittoanalisicrittologiacifratura: testo in chiaro → key → testo cifratodecifratura: testo cifrato → key → testo chiaro

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 53: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

definizioni

crittografiasistema di crittografia (o cifratura)crittoanalisicrittologiacifratura: testo in chiaro → key → testo cifratodecifratura: testo cifrato → key → testo chiaro

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 54: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

definizioni

crittografiasistema di crittografia (o cifratura)crittoanalisicrittologiacifratura: testo in chiaro → key → testo cifratodecifratura: testo cifrato → key → testo chiaro

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 55: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

definizioni

crittografiasistema di crittografia (o cifratura)crittoanalisicrittologiacifratura: testo in chiaro → key → testo cifratodecifratura: testo cifrato → key → testo chiaro

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 56: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

definizioni

crittografiasistema di crittografia (o cifratura)crittoanalisicrittologiacifratura: testo in chiaro → key → testo cifratodecifratura: testo cifrato → key → testo chiaro

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 57: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

definizioni

crittografiasistema di crittografia (o cifratura)crittoanalisicrittologiacifratura: testo in chiaro → key → testo cifratodecifratura: testo cifrato → key → testo chiaro

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 58: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Sommario

1 Alan TuringLa vitaL’eredità

2 La CrittografiaIntroduzionePerchéAlgoritmi

3 EnigmaLa macchina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 59: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

l’inizio

900-400 a.C. Skytale

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 60: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Oggi

26 febbraio 2009. Connessione protetta...

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 61: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 62: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 63: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 64: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 65: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 66: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 67: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 68: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 69: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 70: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 71: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 72: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 73: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Le tappe

Il codice di AtbashDal codice di Cesare a quello di AugustoScacchiera di PolibioAlto Medioevo (G. Lavinde)Il disco cifrante di L.B.AlbertiLa crittografia di G.B. PortaLe cifre di G.B.BellasoIl Codice di VigenereIl codice di Jefferson (macchina)La Crittografia italiana nella Grande GuerraLa Macchina EnigmaDES (Data Encryption Standard) - 1975RSA (Ron Rivest, Adi Shamir e Leonard Adleman) - 1977

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 74: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Sommario

1 Alan TuringLa vitaL’eredità

2 La CrittografiaIntroduzionePerchéAlgoritmi

3 EnigmaLa macchina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 75: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Categorie

La chiave (key) di codifica/decodifica può essere:privata (segreta): sia il mittente che il ricevente di quelmessaggio devono conoscere la stessa chiave (segreta).pubblica: il mittente ed il ricevente del messaggio nondevono conoscere la stessa chiave. Infatti usano 2 coppiedi chiavi ciascuno: una chiave pubblica ed una privata.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 76: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Categorie

La chiave (key) di codifica/decodifica può essere:privata (segreta): sia il mittente che il ricevente di quelmessaggio devono conoscere la stessa chiave (segreta).pubblica: il mittente ed il ricevente del messaggio nondevono conoscere la stessa chiave. Infatti usano 2 coppiedi chiavi ciascuno: una chiave pubblica ed una privata.

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 77: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave privata

DES (e sue variazioni)IDEASAFERRC2 (4,5)FEALSKIPJACKBLOWFISHSEAL

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 78: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave privata

DES (e sue variazioni)IDEASAFERRC2 (4,5)FEALSKIPJACKBLOWFISHSEAL

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 79: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave privata

DES (e sue variazioni)IDEASAFERRC2 (4,5)FEALSKIPJACKBLOWFISHSEAL

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 80: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave privata

DES (e sue variazioni)IDEASAFERRC2 (4,5)FEALSKIPJACKBLOWFISHSEAL

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 81: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave privata

DES (e sue variazioni)IDEASAFERRC2 (4,5)FEALSKIPJACKBLOWFISHSEAL

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 82: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave privata

DES (e sue variazioni)IDEASAFERRC2 (4,5)FEALSKIPJACKBLOWFISHSEAL

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 83: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave privata

DES (e sue variazioni)IDEASAFERRC2 (4,5)FEALSKIPJACKBLOWFISHSEAL

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 84: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave privata

DES (e sue variazioni)IDEASAFERRC2 (4,5)FEALSKIPJACKBLOWFISHSEAL

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 85: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 86: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 87: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 88: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 89: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 90: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 91: A. M. Turing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 92: A. M. Turing

Alan TuringLa Crittografia

EnigmaLa macchina

Sommario

1 Alan TuringLa vitaL’eredità

2 La CrittografiaIntroduzionePerchéAlgoritmi

3 EnigmaLa macchina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 93: A. M. Turing

Alan TuringLa Crittografia

EnigmaLa macchina

La macchina

Salvatore Tuccio Non solo far di conto - a.s. 08-09

Page 94: A. M. Turing

Alan TuringLa Crittografia

EnigmaLa macchina

il film

IL FILM... BUONA VISIONE

Salvatore Tuccio Non solo far di conto - a.s. 08-09