témavezető: Horváth Géza
helyszín (magyar oldal): Debreceni Egyetem Informatikai Kar helyszín rövidítés: DE IK
A kutatási téma leírása:
Doktori téma leírása
Az automataelméleti eredmények természetes módon vezettek különböző kriptográfiai alkalmazások - leginkább szimmetrikus kulcsú titkosítási eljárások – kialakításához. Ezen eljárások egy része Mealy automatán alapszik, más részük sejtautomatákát használ, míg a harmadik csoportba tartoznak a véges automatákra épülő, valamint a véges automatákból álló automatahálózatokat használó rendszerek.
A doktori téma megvalósítása során a fő kutatási célkitűzések a következők:
1. A meglévő, véges automatákra épülő rendszerek vizsgálata biztonsági és hatékonysági szempontból.
2. Új, automataelméleti alapú kriptorendszerek létrehozása.
3. Véges automatákra épülő hash függvények és álvéletlenszám generátorok létrehozása.
4. Az elkészült új rendszerek biztonsági analízisének, és a régebbi rendszerekkel történő összehasonlításának a megvalósítása.
Irodalom
1. Douglas R. Stinson: Cryptography: Theory and Practice. CRC Press, 1995.
2. Pál Dömösi and Chrystopher L. Nehaniv: Algebraic Theory of Automata Networks. An Introduction. Siam, 2005.
3. John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman: Introduction to Automata Theory, Languages and Computation (3rd edition). Addison-Wesley, 2006.
4. Renji Tao: Finite Automata and Application to Cryptography. Springer, 2009.
5. Géza Horváth and Benedek Nagy: Formal Languages and Automata Theory. Typotex, 2014.