ArticlesA Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols: (Preliminary Report)
Under a Creative Commons license
open access
Cited by (0)
Copyright © 2001 Published by Elsevier B.V.