Fang Wei, Georg Lausen. A Formal Analysis of the Lightweight Directory Access Protocol. In Hiroshi Arisawa, Yahiko Kambayashi, Vijay Kumar, Heinrich C. Mayr, Ingrid Hunt, editors, ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001, Revised Papers. Volume 2465 of Lecture Notes in Computer Science, pages 306-319, Springer, 2001. [doi]
Abstract is missing.