Yafen Li, Wuu Yang, Ching-Wei Huang. Preventing type flaw attacks on security protocols with a simplified tagging scheme. In John Waldron, editor, Proceedings of the Intenational Symposium on Information and Communication Technologies, Las Vegas, Nevada, USA, June 16-18, 2004. Volume 90 of ACM International Conference Proceeding Series, pages 244-249, Trinity College Dublin, 2004. [doi]
Abstract is missing.