Catherine Meadows. Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE Journal on Selected Areas in Communications, 21(1):44-54, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.