Miroslaw Kurkowski. A Complete Logic of Authentication. In Jerzy Soldek, Jerzy Pejas, editors, Advanced Computer Systems, Eighth International Conference, ACS 2001, Mielno, Poland, October 17-19, 2001 Proceedings. pages 349-359, Springer, 2001. [doi]
Abstract is missing.