Filtrování

    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
Zobrazit podrobně