Recursion Versus Replication in Simple Cryptographic Protocols.

Hans Httel, Jir Srba

Browse the full SOFSEM paper archive.