白晓峰
- 作品数：4 被引量：16H指数：1
- 供职机构：西安电子科技大学通信工程学院计算机网络与信息安全教育部重点实验室更多>>
- 发文基金：教育部“新世纪优秀人才支持计划”国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种可检测类型缺陷攻击的SAT改进模型被引量：1
- 2011年
- 针对现有SAT模型检测器不能检测类型缺陷攻击的问题,提出了一种新的SAT#改进模型.该模型通过在匹配模式下引入无类型变量,并利用无类型消息的概念,解除了SAT模型检测器对未知消息的类型限制,并且在诚实主体重写规则中用无类型消息替换了原来的强类型限制消息.通过增加消息匹配算法,使诚实主体能够接受带有类型缺陷的消息,从而实现类型缺陷攻击的检测.通过对Otway-Rees协议进行检测,不仅发现了已有的针对发起者A的类型缺陷攻击,而且发现了新的针对响应者B的类型缺陷攻击,其实验结果证明了SAT#模型具有一定的可靠性.
- 杨元原马文平刘维博白晓峰
- 关键词：安全协议形式化分析重写规则
- 一种混合的Tor匿名通信系统被引量：14
- 2007年
- 提出了一种混合的Tor匿名通信系统方案,它不仅能够保证Tor系统低的通信延迟,而且还能够排除其因未使用填充信息和批量处理技术而导致的安全问题。它确保了Tor匿名通信系统能够更加可靠地运行,实现用户身份隐藏。
- 杨元原马文平白晓峰
- 关键词：匿名通信TORCROWDS洋葱路由
- P2P网络中的安全机制研究
- 随着计算机技术的普及，对等网络正受到越来越多的重视。在对等网络中对等节点通过共同协作一起来实现某种服务，这些服务包括分布式计算，文件共享，分布式存储，即时通信，实时流媒体。理想状况下，对等网络不需要任何中心化实体来控制，...
- 白晓峰
- 关键词：P2PCHORD
- 文献传递
- P2P网络中的匿名电子拍卖协议研究
- 2007年
- 在P2P网络中实现电子拍卖的功能对于P2P技术具有重要意义,这将意味着电子商务同样可以在P2P网络中广泛应用。然而,匿名性、投标价保密性、抗勾结性等安全问题一直是电子拍卖研究的难点问题,一种合理的解决方法是将盲签名、知识证明、可验证的数字签名加密算法引入到电子拍卖协议中。这样不仅可以很好地解决P2P网络无中心服务器的不足,还使得系统的安全性能得到显著提高。
- 白晓峰马文平杨元原
- 关键词：点对点网络数字签名电子拍卖
