计算机应用研究2023，Vol.40Issue(4)：P.1189-1193,1202,6.DOI:10.19734/j.issn.1001-3695.2022.08.0446
基于安全协议代码的形式化辅助建模研究
摘要
关键词
形式化验证/形式化建模/协议代码/污点分析/Tamarin分类
信息技术与安全科学引用本文复制引用
葛艺,黄文超,熊焰..基于安全协议代码的形式化辅助建模研究[J].计算机应用研究,2023,40(4):P.1189-1193,1202,6.基金项目
国家自然科学基金面上项目(61972369) （61972369）
国家自然科学基金青年项目(62102385) （62102385）
安徽省自然科学基金资助项目(2108085QF262)。 （2108085QF262）
