Cryptographic protocols Formal and Computational Proofs - Loria
free n : t [ private ] . Constructors (function symbols) are used to build terms modeling primitives used by cryptographic protocols; for example: one-way ...
free n : t [ private ] . Constructors (function symbols) are used to build terms modeling primitives used by cryptographic protocols; for example: one-way ...