Journal article

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols: (Preliminary Report)

J Mitchell, A Ramanathan, A Scedrov, V TEAGUE

Electronic Notes in Theoretical Computer Science | Published : 2001