于歌，杜瑞颖，石闽， 等.TLS协议的生物特征认证扩展与形式化安全分析［J］.武汉大学学报（理学版），2026，72（3）：304-316. DOI：10.14188/j.1671-8836.2025.0011.

YU Ge，DU Ruiying，SHI Min，et al.Biometric Authentication Extension for TLS and Formal Security Analysis ［J］.J Wuhan Univ （Nat Sci Ed），2026，72（3）：304-316. DOI：10.14188/j.1671-8836.2025.0011（Ch）.

于歌，杜瑞颖，石闽， 等.TLS协议的生物特征认证扩展与形式化安全分析［J］.武汉大学学报（理学版），2026，72（3）：304-316. DOI：10.14188/j.1671-8836.2025.0011. DOI：

YU Ge，DU Ruiying，SHI Min，et al.Biometric Authentication Extension for TLS and Formal Security Analysis ［J］.J Wuhan Univ （Nat Sci Ed），2026，72（3）：304-316. DOI：10.14188/j.1671-8836.2025.0011（Ch）. DOI：