Filter

    2005

    1. Decidability Issues for Extended Ping-Pong Protocol J - Článek v odborném periodiku
      HUTTEL, Hans and Jiří SRBA. Decidability Issues for Extended Ping-Pong Protocol. Journal of Automated Reasoning. USA: Kluwer, 2005, ?, ?, p. 1-26.
      More: https://is.muni.cz/publication/589543/en
    2. Recursion vs. Replication in Simple Cryptographic Protocols D - Stať ve sborníku
      HUTTEL, Hans and 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, p. 175-184.
      More: https://is.muni.cz/publication/588242/en
Display details