贵州省自然科学基金(20043029)
- 作品数:12 被引量:82H指数:5
- 相关作者:李祥文静华张梅罗文俊龙士工更多>>
- 相关机构:贵州大学贵州财经大学更多>>
- 发文基金:贵州省自然科学基金贵州省教育厅自然科学研究项目国家自然科学基金更多>>
- 相关领域:自动化与计算机技术经济管理电子电信农业科学更多>>
- 一个新的公平非否认协议被引量:4
- 2006年
- 在安全数据传输协议中,发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1协议缺陷的基础上,提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证,新的协议满足非否认性和公平性原则,可广泛应用于电子邮件、电子合同等电子商务应用中。
- 文静华田建强李祥
- 关键词:通信协议非否认性KAILAR逻辑
- 密码协议的Promela语言建模及分析被引量:15
- 2005年
- 给出了利用SPIN模型检测分析密码协议的一般方法。作为一个实例,对NeedhamSchroeder公钥密码协议用Promela语言建模,并利用SPIN进行了分析验证,发现了其安全漏洞。该方法很容易推广到有多个主体参与的密码协议的分析。
- 龙士工王巧丽李祥
- 关键词:密码协议SPINPROMELA
- 一个新的认证协议及其形式化分析被引量:5
- 2006年
- 认证协议是网络安全体系中最基本和最关键的问题。在传统认证协议的基础上,提出了一个新的认证协议。经过用BAN逻辑对这个协议进行了形式化分析,找出了可能的攻击方法并作出了相应修改。讨论了BAN逻辑用于认证协议形式化分析的作用、局限性以及改进的方向。
- 文静华张梅李祥
- 关键词:BAN逻辑
- 多方安全矩阵乘积协议及应用被引量:38
- 2005年
- 研究特殊的多方安全计算问题,已经成为多方安全计算研究的一个新的重要内容,美国普渡大学的Du博士在他的学位论文中,已经研究、总结了部分特殊两方安全计算问题.同时,Du博士指出如何把两方安全计算推广到多方安全计算,如何把半诚实模型推广到恶意模型是一个非常有意义的工作.该文研究了在科学计算方向上Du博士提出的几个多方安全计算问题,得到了一些结果.该文的主要结果有:给出了一个科学计算基础协议———安全多方矩阵乘积协议,应用该协议,给出了解线性方程组、计算矩阵特征值问题的多方安全计算协议.
- 罗文俊李祥
- 关键词:多方安全计算线性方程组矩阵特征值
- 基于Petri网的电子政务动态流程建模被引量:5
- 2005年
- Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂离散系统建摸 电子政务系统往往涉及行政部门多、业务流程复杂,一件业务通常有时限要求且涉及到的相关部门具有动态并发性 一些业务的流向具有并发和动态特征,用传统Petri网及其扩展模型难于描述 提出一种支持动态并发流程生成的动态Petri网模型DOPN,以适应具有动态复杂流程的电子政务系统建摸。
- 文静华张梅李祥
- 关键词:PETRI网模型电子政务系统电话系统严谨性并发性
- CMP1协议的符号模型检验分析
- 2005年
- 提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.
- 张梅文静华杨滋荣李祥
- 关键词:电子商务协议符号模型检测
- 基于对象Petri网的信息系统建模技术被引量:2
- 2004年
- 针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建模对该方法进行了应用。
- 文静华张梅李祥
- 关键词:信息系统PETRI网
- 入侵检测系统及其安全性研究
- 2005年
- 本文讨论了入侵检测系统的基本原理及发展现状,对不同类型的入侵检测系统进行了分析比较,最后重点分析了其安全性。
- 王松文静华
- 关键词:入侵检测系统
- 一个新的电子发票协议及其公平性分析被引量:1
- 2005年
- 在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.
- 李志敏文静华
- 关键词:逻辑分析
- 一种基于改进的AprioriAll算法的Web路径模式挖掘被引量:6
- 2007年
- 对路径模式挖掘的原理做了详细的阐述,并且针对挖掘对象的特性,对AprioriAll算法中生成侯选序列的函数做了相应的改进。最后通过实例说明了改进的AprioriAll算法在路径模式挖掘中的有效性。
- 司应硕杨世平
- 关键词:WEB数据挖掘