|
|
Security of cryptographic schemes for contact tracing
Pastyřík, Martin ; Hubáček, Pavel (vedoucí práce) ; Göloglu, Faruk (oponent)
Kvůli pandemii nemoci Covid-19 v roce 2020 došlo k velkému rozvoji trasovacích schémat a aplikací. V této práci nejprve popisujeme schéma DP3T a některé útoky na toto schéma, zejména replay a relay útoky. Ve snaze zabránit těmto útokům formálně definujeme a konstruujeme Pietrzakův (INDOCRYPT 2020) Delay-MAC. S použitím této konstrukce a definice decentralizovaného schématu pro trasování kontaktů z (IACR Cryptol. ePrint Arch. 2020: 1309), formálně definujeme Pietrzakovo (INDOCRYPT 2020) schéma pro trasování kontaktů, které nazýváme DP4T. S použitím bezpečnostního modelu z (IACR Cryptol. ePrint Arch. 2020: 1309) dokazujeme, že DP4T je odolné vůči replay útokům a diskutujeme, zda Pietrzakovo (INDOCRYPT 2020) vylepšení DP4T je odolné vůči relay útokům. S použitím definic a vlastností z (IACR Cryptol. ePrint Arch. 2020: 1309) diskutujeme vliv DP4T na soukromí jeho uživatelů. Poté prezentujeme dva nové útoky na decentralizovaná trasovací schémata a dokazujeme, že další trasovací schémata známá z literatury proti těmto útokům odolná nejsou. Dokazujeme, že DP4T je odolné vůči jednomu z těchto útoků a diskutujeme, jaký má tento výsledek vliv na vylepšení DP4T, které je odolné vůči relay útokům. 1
|
host ::
RSS.