广西研究生教育创新计划项目(2007105950812M17)
- 作品数:2 被引量:2H指数:1
- 相关作者:董荣胜李晓乐吴光伟沈岚岚更多>>
- 相关机构:桂林电子科技大学更多>>
- 发文基金:广西研究生教育创新计划项目广西壮族自治区自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 移动Ad Hoc网络中一种匿名攻击及防御策略研究
- 2007年
- 应用概率模型检测工具PRISM证实统计暴露攻击能够破坏ANODR协议的匿名性。为此改进ANODR协议的节点输出方式,提出全局同步发送策略和组同步发送策略。概率模型检测表明,组同步发送策略适应移动Ad Hoc网络匿名通信需求,可防范统计暴露攻击,并能提供低延迟,受节点移动影响小的匿名服务。
- 沈岚岚董荣胜
- 关键词:匿名通信移动ADHOC概率模型检测
- 基于组合设计方法的安全支付协议的设计与验证被引量:2
- 2007年
- 针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。
- 李晓乐董荣胜吴光伟
- 关键词:支付协议原子性
- 移动Ad Hoc网络中一种匿名攻击及防御策略研究
- 应用概率模型检测工具 PRISM 证实统计暴露攻击能够破坏 ANODR 协议的匿名性。为此改进 ANODR 协议的节点输出方式,提出全局同步发送策略和组同步发送策略。概率模型检测表明,组同步发送策略适应移动 Act Ho...
- 沈岚岚董荣胜
- 关键词:匿名通信概率模型检测
- 文献传递
- 基于组合设计方法的安全支付协议的设计与验证
- 针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用 SMV 工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付...
- 李晓乐董荣胜吴光伟
- 关键词:支付协议原子性
- 文献传递