Výpis publikací

2005

1. Decidability Issues for Extended Ping-Pong Protocol

   HUTTEL, Hans a Jiří SRBA. Decidability Issues for Extended Ping-Pong Protocol. Journal of Automated Reasoning. USA: Kluwer, 2005, ?, ?, s. 1-26.

   Podrobněji: https://is.muni.cz/publication/589543/cs
2. Recursion vs. Replication in Simple Cryptographic Protocols

   HUTTEL, Hans a Jiří SRBA. Recursion vs. Replication in Simple Cryptographic Protocols. In Proceedings of 31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). Netherlands: Springer-Verlag, 2005, s. 175-184.

   Podrobněji: https://is.muni.cz/publication/588242/cs