Kriptográfiai protokollok formális vizsgálata

Dátum
2013-12-02T09:20:55Z
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
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.

Leírás
Kulcsszavak
mikrofizetési rendszer, fizetési jóváhagyás, RFID, rövid aláírás
Forrás