Tom Coffey, Reiner Dojen. Analysis of a mobile communication security protocol. In Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, Dublin, Ireland, September 24-26, 2003. Volume 49 of ACM International Conference Proceeding Series, pages 322-328, Trinity College Dublin, 2003. [doi]
Abstract is missing.