Formal methods for cryptographic protocol analysis: emerging issues and trends

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]

Abstract

Abstract is missing.