- 年份
- 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