Recursive Ping-Pong Protocols

• Název česky: Ping-pong protocoly s rekurzi
• Autoři: HUTTEL Hans; SRBA Jiří
• Rok publikování: 2004
• Druh: Článek ve sborníku
• Konference: Proceedings of 4th International Workshop on Issues in the Theory of Security (WITS'04)
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.brics.dk/~srba/publ.html
• Obor: Informatika
• Klíčová slova: cryptographic protocols; automated verification; decidability
• Popis: V clanku je studovano rekurzivni rozsireni tridy kryptografickych protokolu zalozeneho na ping-pong-ovem chovani. Je ukazano, ze dany formalismus je vypocetne ekvivalentni Turingove stroji a pro ruzne podtridy je dokazana rozhodnutelnost jistych verifikacnich problemu.

Související projekty

• Verifikace nekonečně stavových systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů