|
1
|
基于对比分析的密码安全协议课程案例化设计 |
张艳硕
袁煜淇
严梓洋
谢绒娜
|
《北京电子科技学院学报》
|
2024 |
0 |
|
|
2
|
基于黑盒模糊测试的安全协议逻辑漏洞检测 |
赵栋梁
顾纯祥
郑永辉
张协力
|
《信息工程大学学报》
|
2025 |
0 |
|
|
3
|
密码协议分析工具——BAN逻辑及其缺陷 |
张玉清
李继红
肖国镇
|
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
|
1999 |
13
|
|
|
4
|
量子密码中BB84协议的信息论研究 |
曾贵华
王新梅
诸鸿文
|
《通信学报》
EI
CSCD
北大核心
|
2000 |
13
|
|
|
5
|
量子密码协议的改进 |
曾贵华
王新梅
|
《通信学报》
EI
CSCD
北大核心
|
2000 |
12
|
|
|
6
|
密码协议的SPIN建模和验证 |
邵晨曦
胡香冬
熊焰
蒋凡
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2002 |
4
|
|
|
7
|
PKI结构下网络安全协议模型及典型密码体制安全性分析 |
谢冬青
谢志坚
彭蔓蔓
|
《科技通报》
北大核心
|
2001 |
8
|
|
|
8
|
面向密码协议在线安全性的监测方法 |
朱玉娜
韩继红
袁霖
范钰丹
陈韩托
谷文
|
《通信学报》
EI
CSCD
北大核心
|
2016 |
2
|
|
|
9
|
密码协议的分层安全需求及验证 |
刘怡文
李伟琴
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2002 |
5
|
|
|
10
|
一种双方不可否认密码协议 |
李艳平
张建中
|
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2004 |
3
|
|
|
11
|
一种互认证密码协议的设计和分析 |
郑明磊
李建华
张少俊
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
2003 |
2
|
|
|
12
|
一种双方不可否认的密码协议及应用 |
李先贤
怀进鹏
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2001 |
6
|
|
|
13
|
密码协议的一种基于组合推理的模型验证 |
刘怡文
李伟琴
冯登国
|
《通信学报》
EI
CSCD
北大核心
|
2003 |
2
|
|
|
14
|
用于密码协议安全性证明的串空间模型 |
王焕宝
张佑生
侯整风
|
《合肥工业大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2005 |
2
|
|
|
15
|
一类动态密码认证协议的安全研究 |
莫毓昌
杨孝宗
郭建立
金岩
|
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
|
2007 |
1
|
|
|
16
|
基于椭圆曲线密码体制的投票协议 |
刘胜利
杨波
王育民
|
《电子科学学刊》
CSCD
|
2000 |
2
|
|
|
17
|
一种用于口令同步的通用混合密码传输协议 |
李华峰
钱焕延
|
《南京师范大学学报（工程技术版）》
CAS
|
2008 |
2
|
|
|
18
|
一种自适应容忍入侵的密码协议安全运行防护系统 |
郝耀辉
郭渊博
卢昱
|
《高技术通讯》
EI
CAS
CSCD
北大核心
|
2009 |
1
|
|
|
19
|
密码协议主体角色进程表示 |
王焕宝
张佑生
|
《微电子学与计算机》
CSCD
北大核心
|
2007 |
1
|
|
|
20
|
基于静态分析的密码协议业务逻辑缺陷检测方法 |
王震
周超
苗泉强
樊永文
|
《数字技术与应用》
|
2022 |
2
|
|
