sme lý palko v ohiu alebo pán turing ide voliť
DESCRIPTION
Sme lý Palko v Ohiu alebo pán Turing ide voliť. Pavol Černý GJH , Január 200 9. Čo je Ohio ? Kto je Turing? Bonus: čo je na obrázku ?. Sme lý Palko v Ohiu alebo pán Turing ide voliť. Pavol Černý GJH , January 200 9. Voľby v roku 2000. Volebné automaty. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/1.jpg)
Smelý Palko v Ohiualebo
pán Turing ide voliť
Pavol ČernýGJH, Január 2009
![Page 2: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/2.jpg)
Smelý Palko v Ohiualebo
pán Turing ide voliť
Pavol ČernýGJH, January 2009
•Čo je Ohio?•Kto je Turing?
•Bonus: čo je na obrázku?
![Page 3: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/3.jpg)
3
Voľby v roku 2000
![Page 4: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/4.jpg)
4
Volebné automaty
•Homér Simpson má problém.
(tu bolo video ako Simpsonovci volili)
![Page 5: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/5.jpg)
5
iVotronic
![Page 6: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/6.jpg)
6
M100 Scanner
![Page 7: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/7.jpg)
7
M650 Scanner
![Page 8: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/8.jpg)
8
ES&S Systém -- úvodné nastavenia
![Page 9: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/9.jpg)
9
ES&S Systém -- zbieranie výsledkov
![Page 10: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/10.jpg)
10
PEB
![Page 11: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/11.jpg)
11
Unity
aplikácia na zrátavanie výsledkov hlasy[kandidat] = hlasy[kandidat]+1 ?? nie: 365.000 riadkov.. v C, C++, Cobol,
Java and Visual Basic
![Page 12: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/12.jpg)
12
Ako sme hľadali
![Page 13: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/13.jpg)
13
Čo sme našli
![Page 14: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/14.jpg)
14
Tlačiareň
![Page 15: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/15.jpg)
15
Tlačiareň 2
![Page 16: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/16.jpg)
16
Zámky a kľúče
![Page 17: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/17.jpg)
17
Ako si vyrobiť PEB
![Page 18: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/18.jpg)
18
Ako si vyrobiť PEB
![Page 19: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/19.jpg)
19
Softvérové chyby
Buffer overflowvrátiť nebezpečný (a dlhý) string
Vrátiť dáta z viacerých okrskov týka sa optických scannerov
Žiadna (alebo zlá) kryptografiana prenosových médiach
![Page 20: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/20.jpg)
20
Úplný útok
1. Volič-zločinec začne proces nahrávania nových volebných dát na iVotronic pomocou emulovaného QA PEBu (3 mins)
2. Volič-zločinec využije buffer-overflow chybu a nahrá nový firmware naiVotronic (15 mins)
3. Volič-zločinec odletí do Severnej Kórei
![Page 21: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/21.jpg)
21
Úplný útok
4. pri zbere dát sa od infikovaného iVotronic-u zreportujú vymyslené výseldky a infikuje sa back-end Unity
5. pri ďalších voľbach sa infikujú všetky ostatné iVotronic-y, M100vky a M650ky.
![Page 22: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/22.jpg)
22
Prečo niekto konečne nenapíše program, ktorý by skontroloval,
či iné programy robia to, čo majú?
![Page 23: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/23.jpg)
23
Prečo niekto konečne nenapíše program, ktorý by skontroloval,
či iný program skončí?
![Page 24: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/24.jpg)
24
Skúsme si to predstaviť
bool Zastaví?(string Program, string vstup)
Program P
(zdrojový kód)
Vstup
Zastaví?
Áno / Nie
![Page 25: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/25.jpg)
25
Hrajme sa ďalej
bool Zastaví?(string Program, string vstup)
bool Trik(string program) {
if Zastaví?(program,program) {
while true {};
} else {
return true;
}
}
![Page 26: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/26.jpg)
26
Hrajme sa ďalej
Trik(“bool Trik(string program) { if Zastaví?(program,program) {
while true {};
} else {
return true;
}
}
“);
![Page 27: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/27.jpg)
27
Inými slovami...bool Trik(string program) {
if Zastaví?(program,program) {
while true {};
} else {
return true;
}
}
Trik(Trik)
![Page 28: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/28.jpg)
28
Zastaví Trik(Trik)???bool Trik(string program) {
if Zastaví?(program,program) {
while true {};
} else {
return true;
}
}
Predstavme si, že Trik(Trik) zastaví:
ale to znamená, že funkcia Zastaví? vraví, že Trik(Trik) nezastaví
![Page 29: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/29.jpg)
29
Zastaví Trik(Trik)???bool Trik(string program) {
if Zastaví?(program,program) {
while true {};
} else {
return true;
}
}
Predstavme si, že Trik(Trik) nezastaví:
ale to znamená, že funkcia Zastaví? vraví, že Trik(Trik) zastaví
![Page 30: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/30.jpg)
30
???
![Page 31: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/31.jpg)
31
Funkcia Zastaví? neexistuje.
![Page 32: Sme lý Palko v Ohiu alebo pán Turing ide voliť](https://reader031.vdocuments.mx/reader031/viewer/2022012916/56814560550346895db23396/html5/thumbnails/32.jpg)
32
Záver
Dajte sa na informatiku! (ak chcete..) Volebné automaty – zdá sa, že je ešte
dosť práce Písať spoľahlivé programy - ako na to? .. Výpočet .. moc zaujímavý pojem – v
matematike, fyzike, biológii