[1] |
龚翔, 冯涛, 杜谨泽. 基于CPN的安全协议形式化建模及安全分析方法[J]. 通信学报, 2021, 42(9): 240-253. |
[2] |
朱辉,武衡,赵海强,赵玉清,李晖. 适用于双层卫星网络的星间组网认证方案[J]. 通信学报, 2019, 40(3): 1-9. |
[3] |
孟博,何旭东,张金丽,尧利利,鲁金钿. 基于计算模型的安全协议Swift语言实施安全性分析[J]. 通信学报, 2018, 39(9): 178-190. |
[4] |
李学峰,张俊伟,马建峰. UCAP:云计算中一种PCL安全的用户认证协议[J]. 通信学报, 2018, 39(8): 94-105. |
[5] |
谷文,韩继红,袁霖. SSMCI:以攻击者为中心的安全协议验证机制[J]. 通信学报, 2017, 38(10): 175-188. |
[6] |
杨京,范丹,张玉清. 改进的安全协议自适应分析算法[J]. 通信学报, 2015, 36(Z1): 266-276. |
[7] |
李永凯,刘树波,杨召唤,刘梦君. 机会网络中用户属性隐私安全的高效协作者资料匹配协议[J]. 通信学报, 2015, 36(12): 163-171. |
[8] |
朱玉娜,韩继红,袁 霖,陈韩托,范钰丹. 基于主体行为的多方安全协议会话识别方法[J]. 通信学报, 2015, 36(11): 190-200. |
[9] |
田浩,樊红,杜武. 基于用户社群关系的Web服务发现研究[J]. 通信学报, 2015, 36(10): 28-36. |
[10] |
张倩颖,冯登国,赵世军. 基于可信芯片的平台身份证明方案研究[J]. 通信学报, 2014, 35(8): 13-106. |
[11] |
张倩颖,冯登国,赵世军. 基于可信芯片的平台身份证明方案研究[J]. 通信学报, 2014, 35(8): 94-106. |
[12] |
顾纯祥,王焕孝,郑永辉,辛丹,刘楠. 基于SAT的安全协议惰性形式化分析方法[J]. 通信学报, 2014, 35(11): 117-125. |
[13] |
焦政达,马建峰,孙聪,姚青松. 新的车辆远程诊断授权协议[J]. 通信学报, 2014, 35(11): 146-153. |
[14] |
顾纯祥,王焕孝,郑永辉,辛 丹,刘 楠. 基于SAT的安全协议惰性形式化分析方法[J]. 通信学报, 2014, 35(11): 13-116. |
[15] |
焦政达,马建峰,孙 聪,姚青松. 新的车辆远程诊断授权协议[J]. 通信学报, 2014, 35(11): 17-154. |