Conferenzaturing

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 Conferenzaturing

Page 1: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Turing Test: Elbot

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

Page 28: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

Alan TuringLa Crittografia

Enigma

La vitaL’eredità

Macchina di Turing: schema

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

Page 47: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

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: Conferenzaturing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

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

Page 86: Conferenzaturing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

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

Page 87: Conferenzaturing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

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

Page 88: Conferenzaturing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

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

Page 89: Conferenzaturing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

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

Page 90: Conferenzaturing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

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

Page 91: Conferenzaturing

Alan TuringLa Crittografia

Enigma

IntroduzionePerchéAlgoritmi

Chiave pubblica

RSAELGAMALElliptic curvesKNAPSACKLUCMcElieceProbabilistic encryption

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

Page 92: Conferenzaturing

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: Conferenzaturing

Alan TuringLa Crittografia

EnigmaLa macchina

La macchina

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

Page 94: Conferenzaturing

Alan TuringLa Crittografia

EnigmaLa macchina

il film

IL FILM... BUONA VISIONE

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