Kriptográfiai protokollok formális vizsgálata
Betöltés ...
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
DOI
Absztrakt
A diplomamunka többek között mikrofizetési rendszereknél felmerülő bizonytalanságokkal foglalkozik. A PayWord mikrofizetési rendszert formalizáltam. Egyik fő kérdése a rendelési információk hitelességével kapcsolatos. Annak biztosítására hoztuk létre a fizetési jóváhagyást megvalósító protokollt. Ehhez használtuk fel a rövid aláírásos módszert. Másik fontos kérdés az, hogy ráültethető-e valamilyen vezeték nélküli technológiára. Számomra a rádiófrekvenciát használó RFID technológia felelt meg. Dolgozatomban ismertetem a technológiát, többféle csoportosítási szempontból. Nekem a legfontosabb, hogy kriptográfiai kritériumoknak megfeleljen.