王焕宝
- 作品数：34 被引量：61H指数：5
- 供职机构：安徽建筑大学数理学院更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术电子电信文化科学自然科学总论更多>>
- 基于图元的事件图生成算法被引量：2
- 2007年
- 与单轮运行情形不同,多轮并发运行的密码协议存在更为复杂的安全性问题。并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形,且二者具有统一的形式化模型。基于扩展的串空间模型和Spi演算理论,提出用于并发运行密码协议安全属性验证的事件图模型。图元是事件图的构造单元,它满足消息事件之间的通信关系和前驱关系约束以及消息语句的新鲜性约束。定义消息事件之间、图元之间以及消息事件和图元之间的前缀、组合和选择运算,并给出事件图生成算法。
- 王焕宝张佑生
- 关键词：密码协议事件图图元
- 安全协议分析的形式化理论与方法——基于定理证明的安全协议建模研究
- 安全的密码协议是网络通信和应用必不可少的组件之一，是构筑信息安全体系的基础。设计安全和有效的密码协议是协议工程领域中的主要研究内容。在设计、描述(建模)、验证、性能分析、实现、测试和维护等协议工程的各个环节中，协议验证是...
- 王焕宝
- 关键词：信息安全定理证明安全协议描述语言
- 文献传递
- IKE协议及其抵御DoS攻击研究
- 该文首先论述了IP Sec(Internet Protocol Security)安全特性和安全服务机制、支持IP Sec的密钥管理协议ISAKMP(Internet Security Association and K...
- 王焕宝
- 关键词：IKE协议ISAKMP密钥交换安全协议
- 文献传递
- spi演算证明协议非可否认性被引量：1
- 2009年
- spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明。通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义,并在此基础上验证了ZG协议的非可否认性,扩展了spi演算在安全协议证明中的应用范围。
- 李援蒋建国王焕宝
- 关键词：SPI演算
- 密码协议主体角色进程表示被引量：1
- 2007年
- 密码协议分析与设计的基础是对其进行形式化建模。将主体角色发送和接收消息的行为分别表示为相应的主体角色发送进程和接收进程,定义前缀(串行)和并发运算为主体角色进程演进的算子,并进一步将主体角色进程演进的状态系统描述为密码协议的串空间图。它为密码协议安全属性的验证提供了一个形式化模型。
- 王焕宝张佑生
- 关键词：密码协议形式化建模
- 图元的子句时新性
- 2008年
- 为了给出消息子句的测试关系,选择主体角色进程演算为π演算的一个子集,以该子集刻画并发密码协议系统,事件图为其指称语义模型,由图元的前缀、非确定选择和并发合成运算得到,对于图元及其组合运算来说,图元的子句时新性质确定了主体角色消息语句的子句测试关系,且出现在图元中的消息事件满足通信关系和前驱关系约束.由图元生成的事件图涵盖了由子句测试关系构造的未知主体角色串,且通过定义图元互模拟刻画事件图的互模拟等价关系可实现并发密码协议系统安全性验证.
- 王焕宝张佑生
- 关键词：图元时新性事件图密码协议
- 同心导体双筒终端边缘效应的高阻环补偿原理
- 1998年
- 论述有限长同心导体双筒终端边缘效应的高阻环补偿原理，并指出高阻环膜厚均匀性是获得有效补偿的关键因素。
- 竺长春王焕宝
- 基于云模型的隶属概念判定算法的改进被引量：8
- 2007年
- 在人工智能领域中,李德毅教授等提出的定性定量不确定性转换模型——云模型,把概念的模糊性和随机性完全集成到一起,构成定性数据和定量数据的相互映射。但是,在利用云模型进行隶属概念的判定的算法中,不论对象是否明确属于某个概念,一律进行不确定性判定,过分地强调了模糊性和随机性。这不符合人类的认识规律,而且增加了算法的时间复杂度,甚至导致隶属概念判定的明显错误。该文根据人类认识规律对上述算法进行了改进。对那些可以明确确定属于某概念的对象,不再进行不确定性判定,直接被认定为属于该概念,只对处于多个概念边缘的不能确定属于某个概念的对象进行不确定性判定,使其符合人类的认识规律,降低了算法的时间复杂度。
- 张家精王焕宝陈金兰倪友聪
- 关键词：云模型随机性时间复杂度不确定性
- 图元的子句时新性
- 为了给出消息子句的测试关系,选择主体角色进程演算为π演算的一个子集,以该子集刻画并发密码协议系统,事件图为其指称语义模型,由图元的前缀、非确定选择和并发合成运算得到,对于图元及其组合运算来说,图元的子句时新性质确定了主体...
- 王焕宝张佑生
- 关键词：图元事件图密码协议
- 文献传递
- 几何连续的Bézier-like曲线的形状调配被引量：6
- 2012年
- 在形状调配过程中,中间过渡曲线的参数连续性往往是不能保证的。首先给出Bézier-like曲线的定义,然后从连续性的角度出发,利用Bézier-like曲线的性质,研究形状调配中曲线的几何连续特征保持问题。讨论了线性混合过程中一、二阶几何连续保持条件及相应解决办法,从而得出一般Bézier-like曲线在形状调配中参数连续的保持方法,此方法适用于计算机动画和工业造型设计。
- 刘华勇王焕宝李璐张大明
- 关键词：BALL曲线
