| [1] |
谢娜, 谭文安, 曹彦, 赵璐. 移动边缘计算中安全信息流建模与分析[J]. 计算机工程, 2022, 48(5): 35-42,52. |
| [2] |
杨锦翔, 熊焰, 黄文超. 基于强化学习的安全协议形式化验证优化研究[J]. 计算机工程, 2021, 47(12): 141-146. |
| [3] |
黄廷辉, 丁勇, 李思骏. 基于MT6D的物联网轻量级安全协议研究[J]. 计算机工程, 2020, 46(9): 117-122. |
| [4] |
杨建喜,张悦,池亚平,许萍. 基于物理不可克隆函数的小区重选安全协议设计[J]. 计算机工程, 2018, 44(11): 154-157,164. |
| [5] |
任胜兵,张健威,吴斌,王志健. Spark环境下基于SMT的分布式限界模型检测[J]. 计算机工程, 2017, 43(6): 19-23,29. |
| [6] |
唐郑熠,王金水,何栋炜,薛醒思,胡文瑜. 馈线自动化算法的形式化建模与验证[J]. 计算机工程, 2016, 42(3): 89-93. |
| [7] |
赵璐,张健沛,杨静. 收缩候选回溯集的有状态动态偏序归约方法[J]. 计算机工程, 2015, 41(5): 70-76. |
| [8] |
许兴旺,骆翔宇. 基于MAS 模型检测与抽象的Web 服务验证[J]. 计算机工程, 2015, 41(3): 26-31,36. |
| [9] |
劳佳琪,文中华,伍小辉,唐杰. 一种快速求强规划解的算法[J]. 计算机工程, 2015, 41(3): 162-166. |
| [10] |
牛乐园,杨伊彤,王德军,孟博. 计算模型下的SSHV2协议认证性自动化分析[J]. 计算机工程, 2015, 41(10): 148-154. |
| [11] |
伍小辉,文中华,李洋,劳佳琪. 不确定规划中的多Agent带权值强规化算法[J]. 计算机工程, 2015, 41(1): 190-195. |
| [12] |
龙凤,文中华,唐杰,王进宗. 不确定规划中可达关系的快速求解算法[J]. 计算机工程, 2015, 41(1): 196-199. |
| [13] |
刘念，殷业，叶龙，肖龙，严实. 一种改进的高效RFID加密安全协议[J]. 计算机工程, 2014, 40(7): 87-91. |
| [14] |
田志辉，金志刚，王颖. EAP-MD5协议的安全性分析与改进[J]. 计算机工程, 2014, 40(6): 95-98,103. |
| [15] |
钱权, 贾彦龙, 张瑞. 基于随机数同步更新的RFID安全协议[J]. 计算机工程, 2013, 39(8): 9-14. |