Yifa Li. A New Semantics of Authentication Logic. In Sihan Qing, Tatsuaki Okamoto, Jianying Zhou, editors, Information and Communications Security, Third International Conference, ICICS 2001, Xian, China, November 13-16, 2001. Volume 2229 of Lecture Notes in Computer Science, pages 476-482, Springer, 2001. [doi]
Abstract is missing.