王正才
- 作品数：7 被引量：38H指数：3
- 供职机构：贵州大学计算机科学与信息学院更多>>
- 发文基金：国家自然科学基金贵州大学自然科学青年科研基金贵州省科学技术基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于自动机并操作的多目标AC-BM算法被引量：7
- 2013年
- AC-BM算法的优点在于能同时进行多个模式串的匹配搜索,且文本串的移位得到优化,但一次只能在一个文本串中进行搜索。为了实现一次可以同时在多个文本串中进行搜索,设计了多目标AC-BM算法。利用自动机并操作技术构造多目标多模式树自动机,借助BM算法的坏字符跳转技术来计算文本串集移位。在Snort系统中分别实现2-目标AC-BM算法和3-目标AC-BM算法。实验结果表明,新算法如果在多个文本串中找到模式串就停止(表示检测到攻击行为),其在时间性能上就明显优于AC-BM算法。
- 王正才许道云王晓峰
- 关键词：AC-BM算法模式串自动机SNORT
- 基于UCSA框架的零知识证明协议验证
- 王正才
- 抗重放攻击认证协议的设计原则和方法研究被引量：10
- 2008年
- 重放攻击是最基本、最常用、危害性最大的攻击认证协议的形式。从服务器和通信实体的角度对认证协议受重放攻击的根源进行详细的分析,提出了一套抗重放攻击认证协议的设计原则和方法。通过该原则和方法,对Adadi-Needham修改版本的Otway-Rees协议和BAN-Yahalom协议进行了分析和改进。该设计原则和方法对抗重放攻击认证协议的设计和分析是很有效的。
- 王正才杨世平
- 关键词：重放攻击会话密钥形式化分析
- BAN逻辑的可靠性分析与改进被引量：17
- 2012年
- BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。
- 王正才许道云王晓峰唐郑熠韦立
- 关键词：BAN逻辑安全协议形式化非形式化
- 抗重放和类型缺陷攻击认证协议的设计与分析研究
- 认证协议是安全协议中最基本、最重要的一种,其目标是实现通信实体的身份认证和在通信实体间分发会话密钥。对认证协议的攻击形式有很多,但已构成的攻击事例中,百分之九十以上是重放攻击和类型缺陷攻击。本文以基于抗重放攻击和类型缺陷...
- 王正才
- 关键词：形式化分析重放攻击BAN逻辑
- 文献传递
- 大图中子图的可测性质
- 2012年
- 对于给定的距离参数ε,性质测试算法A需以高概率正确地区分给定的对象具备预定性质Π与ε-远离性质Π。若存在Π的测试算法A满足其询问复杂性独立于规模参数n,则称Π是可测的。设H是一个图,性质H-free为不含H-子图的图所构成的集合。在有界度模型中,Goldreich与Ron证明了对任意连通图H,性质H-free是可测的[9]。在邻接矩阵模型中,证明了对任意图H,不管其连通与否,性质H-free是可测的。
- 韦立许道云王正才
- 关键词：可测试性
- 基于模型检测技术的语义Web服务自动组合被引量：3
- 2013年
- 提出一种以OWL-S和模型检测技术为基础的Web服务自动组合方法,通过时间自动机建立语义Web服务的模型,能够刻画接口和过程交互的语义信息,并且能够表达复合用户需求。利用对应的模型检测工具,可以实现高效的自动组合。仿真实验证明,该方法有效地提高了服务组合的效率及质量,同时在状态空间的表示和维持方面具有显著的优势。
- 唐郑熠许道云王晓峰王正才
- 关键词：人工智能语义WEB服务
