Procházet otázky :: SZZ na MFF UK

#

- Hlavní strana
- Okruhy
- Projít
- Stáhnout
- Co je potřeba
- Chci přispět
- Kredity

Hledat:

## Prohlížení státnicových textů

#### Asymetrické systémy:

Stačí provést

Důkazy s nulovou znalostí

- dokazovatel nesmí podvádět - pokud důkaz nezná, jeho šance přesvedčit arbitra je mizivá
- ověřovatel nesmí podvádět - o důkazu smí zjistit jenom to, ze ho dokazovatel zná. V žádném případě nesmí být schopen důkaz zrekonstruovat a sám provést.
- ověřovatel se nesmí dozvědět nic, co by nebyl schopen zjistit bez pomoci dokazovatele.

Není-li splněna poslední podmínka mluvíme o důkazech s minimálním vyzrazením. Jeden z možných důkazů je založen na problematice Hamiltonovských kružnic v grafu.

1. Nechť zná Hamiltonovskou kružnici v grafu .
2. provede náhodnou permutaci očíslování vrcholů . Původní graf a vzniklý jsou izomorfní.
3. Kopie grafu je zaslána entitě .
4. Ověřovatel položí dokazovateli jednu z následujících otázek
   1. Dokázat, že a jsou izomorfní
   2. Ukázat Hamiltonovskou kružnici v grafu
5. Opakováním kroku 1. až 4. lze docílit potřebné jistoty.

Neurčitý obnos (Oblivious transfer)

Protokol umožňuje, aby si adresát vybral z několika nabízených možností aniž by odesílatel předem znal jeho volbu, možné doplnění o následnou vzájemnou kontrolu.

Podepisování kontraktů (Contract signing)

V každém okamžiku musí být obě smluvní strany vázány stejně moc. Nejjednodušším řešením je arbitrovaný protokol, kde obě strany předají centrální autoritě své podepsané kopie a tato třetí strana zajistí výměnu po obdržení obou kopií.

Elektronická potvrzovaná pošta (digital certified mail)

Chceme, aby adresát mohl přečíst naši zprávu až poté, co získáme potvrzení o tom, že ji obdržel (elektronický doporučený dopis).

Bezpečné volby

- volit smí pouze oprávnění voliči,
- každý smí hlasovat nejvýše jednou,
- nikdo nesmí vědět, kdo jak volil,
- nikdo nesmí měnit volbu jiných,
- každý hlas musí být započítán.

Nejjednodušší možnost je použít protokol se dvěmi centrálními autoritami. Používá registrační autoritu provádějící registraci voličů a sčítací autoritu , která sčítá hlasovací lístky a zveřejňuje výsledky voleb.

1. Všichni voliči zašlou žádost o validační číslo.
2. zašle každému voliči náhodně zvolené validační číslo a zároveň si poznamená kdo jaké číslo dostal.
3. zašle seznam validačních čísel .
4. Kazdy z voličů si náhodně vybere svoje identifikační číslo a zašle zprávu kde v je jeho volba.
5. porovná se seznamem validačních čísel z kroku 3. Odpovídající číslo škrtne a voličovo přidá do seznamu asociovaného s voleným kandidátem.
6. Po skončení voleb zveřejní výsledky a seznamy identifikačních čísel spojené se jmény kandidátů.

Útoky na protokoly

- přehrání zpráv - M odposlouchá všechny zprávy a pak totéž udělá sám
- muž uprostřed (man-in-the-middle)
- paralelní spojení - několik běhů protokolů prováděných současně pod řízením M
- odražení - A zahájí komunikaci, M zachytí zprávu, upraví ji, aby nebyl poznat původní A a pošle ji zpět A
- prokládání - Několik běhů protokolu prováděných současně pod řízením M, zprávy z jednoho se použijí u dalšího, atd.
- chyba typu - Nedodržení přesného sémantického významu zprávy
- vypuštění jména - Pokud v protokolu není poznat, kdo za to může
- chybné použití šifrovací služby - Špatný algoritmus použitý na nevhodném místě