Jin Jiang, Lei Li, Zhihong Huang. Hidden-ID Authentication Scheme and its SVO-Logic Based Formal Analysis. In Computational Intelligence and Security, International Conference, CIS 2007, Harbin, Heilongjiang, China, December 15-19, 2007. pages 781-784, IEEE Computer Society, 2007. [doi]
Abstract is missing.