[1] |
黄廷辉, 丁勇, 李思骏. 基于MT6D的物联网轻量级安全协议研究[J]. 计算机工程, 2020, 46(9): 117-122. |
[2] |
杨建喜,张悦,池亚平,许萍. 基于物理不可克隆函数的小区重选安全协议设计[J]. 计算机工程, 2018, 44(11): 154-157,164. |
[3] |
牛乐园,杨伊彤,王德军,孟博. 计算模型下的SSHV2协议认证性自动化分析[J]. 计算机工程, 2015, 41(10): 148-154. |
[4] |
刘念,殷业,叶龙,肖龙,严实. 一种改进的高效RFID加密安全协议[J]. 计算机工程, 2014, 40(7): 87-91. |
[5] |
田志辉,金志刚,王颖. EAP-MD5协议的安全性分析与改进[J]. 计算机工程, 2014, 40(6): 95-98,103. |
[6] |
钱权, 贾彦龙, 张瑞. 基于随机数同步更新的RFID安全协议[J]. 计算机工程, 2013, 39(8): 9-14. |
[7] |
孟跃伟, 胡爱群, 宋宇波, 沈传征, 布宁, 贾雪飞. 无线局域网安全性能测试系统的设计与实现[J]. 计算机工程, 2013, 39(7): 193-199. |
[8] |
何丽宏. 一种适用于空间通信的数据加密传输策略[J]. 计算机工程, 2012, 38(5): 149-151,157. |
[9] |
王正才, 许道云, 王晓峰, 唐郑熠, 韦立. BAN逻辑的可靠性分析与改进[J]. 计算机工程, 2012, 38(17): 110-115. |
[10] |
刘道宏, 雷航, 郭文生. 嵌入式操作系统进程监测器的设计与实现[J]. 计算机工程, 2011, 37(9): 59-61. |
[11] |
张孝红, 李谢华. 基于串空间的安全协议自动化验证算法[J]. 计算机工程, 2011, 37(5): 131-133. |
[12] |
刘志猛. 基于攻击者行为能力的SVO协议分析[J]. 计算机工程, 2011, 37(12): 127-129. |
[13] |
陈 晨;朱文也;陈卫红;刘 楠. 一种对MSR模型的新扩展[J]. 计算机工程, 2010, 36(8): 138-140. |
[14] |
王 昕;袁超伟. 一种安全协议的形式化分析方法[J]. 计算机工程, 2010, 36(7): 82-83,8. |
[15] |
刘卫红, 王立斌, 马昌社. 改进的跨域口令认证密钥交换协议[J]. 计算机工程, 2010, 36(19): 162-164. |