密码学报2022，Vol.9Issue(1)：P.60-75,16.DOI:10.13868/j.cnki.jcr.000503
不可否认协议分析的扩展ZQZ逻辑方法
摘要
关键词
不可否认协议/形式化分析/ZQZ逻辑/时限性/时间表达式/逆向工程分类
信息技术与安全科学引用本文复制引用
韩志耕,石青山,杨鹏,陈耿,范远哲..不可否认协议分析的扩展ZQZ逻辑方法[J].密码学报,2022,9(1):P.60-75,16.基金项目
国家自然科学基金(72072091) （72072091）
江苏省高校自然科学基金(21KJA520002,16KJB520021) （21KJA520002,16KJB520021）
审计信息工程与技术协同创新中心项目。 （）
