广西研究生教育创新计划(2007105950812M17)
- 作品数：3 被引量：0H指数：0
- 相关作者：董荣胜高三海徐许亮魏昭刘亮龙更多>>
- 相关机构：桂林电子科技大学更多>>
- 发文基金：广西研究生教育创新计划广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于安全协议操作语义模型的组合协议分析及验证
- 2007年
- 协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题。通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scyther验证了其安全性,发现了一个针对Yahalom协议机密性的组合攻击。结果表明,操作语义模型是分析与验证组合协议的一种可行方法。
- 高三海董荣胜
- 基于拍卖针对DoS攻击的WSN安全路由协议
- 2009年
- 节点密度大、数量规模大以及资源有限是无线传感器网络的特点,而又使得它难以防御恶意节点发起的拒绝服务攻击。针对无线传感器网络的以上特点,基于博弈论观点和方法,通过建立传感器网络节点博弈框架,采用一级封闭价格拍卖实现路由发现,利用声誉机制检测和惩罚恶意节点,并在SAR协议基础上增加了对黑洞攻击和重放攻击的防御,加快了对恶意攻击节点的检测收敛。仿真结果表明,改进后的SAR协议能有效防御无线传感器网络中的拒绝服务攻击。
- 刘亮龙董荣胜徐许亮魏昭
- 关键词：传感器网络拒绝服务拍卖
- 三方认证协议BNV的分析及改进
- 2008年
- 多个主体之间的安全会话需要有可靠的多方认证协议来保证。基于安全协议的操作语义模型,分析了三方认证协议BNV的安全性,结果表明该协议存在一致性和同步性缺陷。为此,修改了协议的消息结构并添加了标识协议主体身份的消息项。对改进后协议的安全性进行分析,结果表明改进后的协议不存在原协议的缺陷,协议参与主体满足一致性与同步性要求。最后,基于改进后协议,提出了一个n方认证协议的协议原型。
- 高三海董荣胜吴光伟
- 关键词：操作语义一致性
