Hidden-ID Authentication Scheme and its SVO-Logic Based Formal Analysis

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]

Authors

Jin Jiang

This author has not been identified. Look up 'Jin Jiang' in Google

Lei Li

This author has not been identified. Look up 'Lei Li' in Google

Zhihong Huang

This author has not been identified. Look up 'Zhihong Huang' in Google