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.
      Název česky: Rozhodnutelnostni otazky pro rozsirene ping-pong protokoly
      RIV/00216224:14330/05:00012769 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Huttel, Hans (208 Dánsko) -- Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: ping-pong protocols; decidability; recursion; replication
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Změněno: 6. 7. 2007 09:04.
      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.
      Název česky: Rekurze a replikace a jednoduchych kryptografickych protokolech
      RIV/00216224:14330/05:00012753 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Huttel, Hans (208 Dánsko) -- Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: cryptographic protocols; recursion; replication; verification
      Změnil: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Změněno: 6. 7. 2007 09:03.
      Podrobněji: https://is.muni.cz/publication/588242/cs