- 年份
- 2025（1）
- 2024（1）
- 2019（1）
- 2017（1）
- 2016（2）
- 2015（1）
- 2014（2）
- 2013（1）
- 2012（2）
- 2011（2）
- 更多...
- 核心收录
- 中国科学引文数据库(CSCD)（60）
- 北京大学中文核心期刊目录(北大核心)（53）
- 中国科技论文与引文数据库(CSTPCD)（51）
- 刊名
- 计算机工程（18）
- 计算机工程与应用（13）
- 计算机应用研究（7）
- 通信学报（6）
- 中国科学院研究生院学报（5）
- 计算机应用与软件（4）
- 信息工程大学学报（2）
- 西安电子科技大学学报（2）
- 西安电子科技大学学报（自然科学版）（2）
- 东南大学学报：自然科学版（1）
- 更多...
- 作者单位
- 上海交通大学（6）
- 西安电子科技大学（6）
- 华南理工大学（3）
- 北京航空航天大学（2）
- 武汉大学（2）
- 西南交通大学（2）
- 中南大学（1）
- 中国科学技术大学（1）
- 中国科学院软件研究所（1）
- 中央财经大学（1）
- 更多...
- 语种
- 汉语（73）
- 关键词
- 密码协议（73）
- 信息安全（5）
- 形式化分析（3）
- 数字签名（3）
- 模型检测（3）
- 身份认证（3）
- OMNeT++（2）
- TMN协议（2）
- 串空间（2）
- 事件图（2）
- 更多...
- 作者
- 王滨（6）
- 张少武（5）
- 王亚弟（5）
- 白英彩（5）
- 敖青云（4）
- 冯登国（3）
- 张玉清（3）
- 祁明（3）
- 肖国镇（3）
- 韩继红（3）
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 73 条结果
- 五问斯科特·贝斯特
- 类BAN逻辑的两个重要缺陷北大核心CSCDCSTPCD
- 加密模式与密码协议的安全性北大核心CSCDCSTPCD摘要：密码协议的设计和安全性分析是困难的,在密码协议中总是以所使用的密码算法是安全的为前提,但是人们却忽略了密码算法的加密模式对密码协议安全性的影响.论文针对一个改进的Needham-Schroeder协议,假设其使用了分组密码的CBC加密模式,我们通过使用一条旧信息的明密文对来修改当前会话中的信息,从而成功地欺骗用户双方,并分别与他们建立了一个会话密钥,对该协议进行了成功的攻击.结果说明密码算法的加密模式对密码协议的安全性有着巨大的影响.
- 基于PVS的密码协议形式化规范CSCDCSTPCD
- 一种用于密码协议形式化验证的简单逻辑
- 基于面向对象时间Petri网的密码协议分析北大核心CSCDCSTPCD摘要：利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法.该方法可以降低建模复杂性和计算复杂性,提高建模效率,实现时间Petri网的高度模块化,能更好地适应密码协议分析过程中的重组和扩充.实例分析结果证明了该方法的有效性.
- 基于图元的事件图生成算法北大核心CSCDCSTPCD
- 密码协议中"现时"的产生与管理北大核心CSCDCSTPCD
- 一种基于扩展Spi演算的类型系统北大核心CSCDCSTPCD
- 一种混合认证体制北大核心CSCDCSTPCD