束妮娜
- 作品数：7 被引量：15H指数：3
- 供职机构：电子工程学院更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 关于密码协议攻击的研究被引量：2
- 2005年
- 该文通过具体实例从不同的角度讨论了对密码协议的各种攻击,并阐述了这些攻击产生的原因及防止它们的一般方法。
- 束妮娜王亚弟
- 关键词：密码协议重放攻击
- 密码协议的形式化分析被引量：5
- 2001年
- 在分析四类常用密码协议形式化分析方法的基础上 ,阐述了各自的优缺点。探讨了形式化分析所面临的挑战 ,指出目前在这方面所做的工作以及有待发展的方向。
- 束妮娜王亚弟
- 关键词：密码协议形式化分析通信协议BAN逻辑
- 密码协议的设计准则被引量：3
- 2003年
- 介绍了密码协议的设计准则，并通过具体实例加以说明。针对公钥协议，特别是协议中的签名和加密顺序问题，指出了某些准则的局限性。
- 束妮娜王亚弟
- 关键词：密码协议设计准则通信协议计算机通信网
- 密码协议的归纳证明方法
- 2001年
- 通过对Otway-rees协议的分析,介绍了目前受到普遍关注的一种密码协议形式化分析方法—归纳方法。
- 束妮娜王亚弟
- 关键词：密码协议随机数
- 认证协议的形式逻辑分析方法——BAN类逻辑综述被引量：6
- 2002年
- 介绍了最早的认证协议形式化分析方法———BAN逻辑及扩展的BAN逻辑 ,统称为BAN类逻辑。并通过分析比较 ,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处。
- 束妮娜王亚弟
- 关键词：BAN类逻辑密码
- 一个端对端安全协议的缺陷分析
- 2009年
- 针对串空间理论的不足,在相关研究的基础上,加入了Diffie-Hellman操作的密码原语,扩展了理想和诚实的概念,拓展了串空间理论的分析范围。分析了一个端对端安全协议的核心安全特性,即保密性和认证特性,使用扩展的串空间理论分析得出该协议不能满足认证性,给出该协议的一个攻击和改进方法。
- 陈建熊孙乐昌束妮娜
- 关键词：串空间DIFFIE-HELLMAN密钥交换数字签名
- 云计算及其军事应用分析
- 2014年
- 结合网络中心战的相关需求，论述了云计算与网络中心战的密切关系，强调了云计算中的计算虚拟化和分布式协同在网络中心战中的重要作用；研究了信息化战争对我军信息系统的能力需求，给出了基于云计算构建我军信息系统应注意的事项，为信息化条件下我军信息系统建设方向提供了思路。
- 束妮娜刘克胜
- 关键词：云计算网络中心战军事信息系统
