基于数理逻辑的安全协议本征逻辑分析方法.

Autor: 李益发, 孔雪曼, 耿 宇, 沈昌祥
Zdroj: Journal of Cryptologic Research (2097-4116); Jun2024, Vol. 11 Issue 3, p588-601, 14p
Databáze: Complementary Index