贵州省教育厅自然科学研究项目(2004219)
- 作品数：10 被引量：24H指数：3
- 相关作者：文静华李祥张梅余滨李志敏更多>>
- 相关机构：贵州财经大学贵州大学更多>>
- 发文基金：贵州省教育厅自然科学研究项目贵州省自然科学基金贵州省科学技术基金更多>>
- 相关领域：自动化与计算机技术电子电信农业科学轻工技术与工程更多>>
- 基于有限状态机的电力客户呼叫系统建模被引量：1
- 2007年
- 呼叫中心技术如今已经发展成为全球商业与服务业竞争的焦点,针对电力客户服务系统日益复杂的呼叫处理等业务流程,提出用有限状态机进行呼叫处理流程建模分析与设计,降低了电力客户服务系统的设计难度。通过对一个实际的电力客户呼叫处理系统的应用,验证了该方法的简便性和可靠性,同时提供了一种比较便捷通用的CTI呼叫处理系统开发模式。这些工作表明有限状态机比传统的方法更适合于呼叫处理流程建模.
- 田建强文静华
- 关键词：有限状态机CTI客户服务电力系统
- 基于博弈的电子商务协议分析被引量：8
- 2006年
- 提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析。结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。
- 文静华张梅李祥
- 关键词：电子商务协议安全性ATL
- ISI协议的符号模型检验分析被引量：2
- 2005年
- 电子商务协议的非否认性与公平性问题已成为电子商务和信息安全领域研究的热点。本文建立了网络支付协议ISI的有限状态机模型,并用SMV检验工具对其两个重要特性———非否认性与公平性进行了分析检验,发现了ISI协议不满足公平性。结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
- 文静华张梅李祥
- 关键词：电子商务协议符号模型检测信息安全
- 一个新的认证协议及其形式化分析被引量：5
- 2006年
- 认证协议是网络安全体系中最基本和最关键的问题。在传统认证协议的基础上,提出了一个新的认证协议。经过用BAN逻辑对这个协议进行了形式化分析,找出了可能的攻击方法并作出了相应修改。讨论了BAN逻辑用于认证协议形式化分析的作用、局限性以及改进的方向。
- 文静华张梅李祥
- 关键词：BAN逻辑
- 基于SMV的网络协议形式化分析与验证被引量：7
- 2006年
- 提出了采用模型检验方法对网络协议进行形式化分析及自动验证,建立了一个特定网络协议PAR的有限状态机模型,并用模型检验工具SMV验证其正确性,发现了该协议存在的一些缺陷。结果表明,利用符号模型检验方法分析检验网络协议是可行的。
- 文静华余滨张梅李祥
- 关键词：网络协议符号模型检验
- IPv6与IPv4的移动性比较
- 2006年
- 移动IP即是为解决移动计算问题而提出的网络层移动解决方案。本文比较了IPv4及IPv6下移动IP的原理和实现机制,分析了两者之间的联系与本质区别,重点介绍了IPv6下的移动性新特征与优势。
- 梁敏文静华
- 关键词：移动IPIPV4IPV6IPSEC
- 一种新的密码协议分析方法及其应用
- 2006年
- 针对传统时序逻辑把协议看成封闭系统进行分析的缺点,提出一种新的基于策略的ATL(AlternatingtimeTemporalLogic)逻辑方法分析密码协议。最后用新方法对NeedhamSchroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击。工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。
- 文静华张梅李祥
- 关键词：密码协议安全性形式化分析ATL
- 入侵检测系统及其安全性研究
- 2005年
- 本文讨论了入侵检测系统的基本原理及发展现状,对不同类型的入侵检测系统进行了分析比较,最后重点分析了其安全性。
- 王松文静华
- 关键词：入侵检测系统
- 一个新的电子发票协议及其公平性分析被引量：1
- 2005年
- 在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.
- 李志敏文静华
- 关键词：逻辑分析
- Petri网在呼叫中心建模中的应用
- 2004年
- 呼叫中心开发的主要难点在于呼叫处理流程的定义与实现,设计出一个合理的呼叫处理流程系统是呼叫中心系统成功与否的关键。作者建立了一种适合呼叫处理流程建模的有色Petri网模型,提出了用Petri网进行呼叫处理流程建模分析,并通过一个典型案例对本方法进行了说明和验证。
- 文静华杨滋荣韩兴顺
- 关键词：呼叫中心PETRI网
