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

Jin Jiang, Lei Li, Zhihong Huang

Browse the full CIS paper archive.