湖北省自然科学基金(2006ABA056)
- 作品数：7 被引量：5H指数：2
- 相关作者：石曙东翁艳琴解颜铭彭绪富徐雄更多>>
- 相关机构：湖北师范学院更多>>
- 发文基金：湖北省自然科学基金湖北省教育厅青年基金湖北省教育厅重点项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于串空间认证测试理论的认证协议分析被引量：2
- 2012年
- 对增强型认证测试理论进行简化,使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中,发现协议存在的缺陷,对协议进行改进,并对改进后的协议进行了分析验证。
- 翁艳琴石曙东解颜铭
- 关键词：串空间模型
- Aziz-Diffie协议的形式化分析及其改进
- 2011年
- 形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议安全性的一条可靠而准确的途径。作为形式化分析方法的典型代表BAN逻辑由于其直观、易用等优点得到广泛的应用。概述了BAN逻辑,并基于BAN逻辑对Aziz-Diffie无线网络密钥协议进行了形式化描述和分析,验证了协议存在的漏洞,同时提出了该协议的改进方案。
- 翁艳琴石曙东解颜铭
- 关键词：BAN逻辑形式化分析
- 多方签名认证算法的设计与实现
- 2007年
- 文章提出了电子政务及日常合同、协议业务中数字签名、认证所要解决的各种实际问题,分析了多方数字签名的信息流程,给出了信息流转的六种模式。同时,还设计了无批语多方数字签名和有批语多方数字签名方案,详细设计了基于DSA数字签名标准的有批语多方数字签名的算法程序,解决了电子政务及日常合同、协议业务中数字信息的签名、认证、存档等实际问题。
- 彭绪富石曙东
- 关键词：数字签名
- 基于Matlab的倒立摆系统实时模糊控制研究被引量：1
- 2007年
- 研制出一种低成本、高可靠性和高稳定性的倒立摆硬件系统,同时提出一种专家模糊控制策略以及基于Matlab的实时控制途径。采用模糊组合变量来减少模糊规则数,并根据摆角来选择不同模糊规则库从而提高控制性能。用Matlab实现的控制算法在对倒立摆的实验中表现出很好的实时控制性能。
- 徐雄石曙东
- 关键词：实时控制MATLAB倒立摆模糊控制
- 多方不可否认互签算法协议设计
- 2007年
- 给出了数字签名所要完成的事务,分析并给出了网络中信息流转的6种模式,详细设计了多用户信息签名算法、验证算法及不可否认互签的算法协议,并对算法协议中的相关参数和算法运算复杂度进行了分析。解决了电子政务、电子商务及协议订立中的多方数字签名与验证问题。
- 彭绪富石曙东
- 关键词：数字签名不可否认
- 基于网络的联合审批系统设计
- 2007年
- 分析了基于网络的联合审批系统的业务流程及功能要求,给出了网上联合审批系统的几种模型和体系结构,探讨了网上联合审批系统的规范标准制订、数据共享设置、信息安全保障等关键技术。给出了联合签名验证审批的算法程序。解决了电子政务和日常业务中多方联合审批的数字签名与认证问题。
- 彭绪富石曙东
- 关键词：系统设计数据共享签名
- 多方不可否认互签算法协议设计
- 给出了数字签名所要完成的事务,分析并给出了网络中信息流转的6种模式,详细设计了多用户信息签名算法、验证算法及不可否认互签的算法协议,并对算法协议中的相关参数和算法运算复杂度进行了分析。解决了电子政务、电子商务及协议订立中...
- 彭绪富石曙东
- 关键词：数字签名不可否认
- 文献传递
- Kailar逻辑的改进及应用被引量：2
- 2012年
- 综合Kailar逻辑和SVO逻辑两种协议分析方法的优点,借助SVO逻辑的思想对Kailar逻辑进行了改进,使其更好地应用于不可否认协议的可追究性分析和设计。同时,将改进后的Kailar逻辑应用在类NG协议的分析中,分析结果证明了该协议可追究方面的安全性质。
- 翁艳琴石曙东解颜铭
- 关键词：逻辑系统KAILAR逻辑SVO逻辑安全协议
