Recursive Ping-Pong Protocols

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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ů