Casper files for the TMN Protocol


This directory contains Casper input files for the version of the TMN Protocol from [TMN90].

References:

[TMN90] Makoto Tatebayashi and Natsume Matsuzaki and Newman, Jr. Key Distribution Protocol for Digital Mobile Communication Systems. Advances in Cryptology: Proceedings of Crypto~'89. LNCS 435, 1990.