国家自然科学基金(69873040)
- 作品数:40 被引量:151H指数:7
- 相关作者:庄雷周清雷张雪萍赵东明董西广更多>>
- 相关机构:郑州大学解放军信息工程大学郑州工程学院更多>>
- 发文基金:国家自然科学基金河南省基础与前沿技术研究计划项目河南省教育厅自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信生物学更多>>
- 基于模型检测的多轮FR协议验证被引量:1
- 2008年
- 随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质。重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件。
- 郭华庄雷张习勇李舟军
- 关键词:电子商务协议时间自动机UPPAAL
- P2P环境中的一种信任模型被引量:8
- 2008年
- 提出一种新的信任模型,将用户提供服务和进行推荐的能力进行区分,用推荐信任表示用户的推荐能力,根据用户的历史交易经验和系统中其他用户的推荐来计算节点的综合信任度,用户依据计算结果选择交易对象,交易结束后给出信任评价,进行相应的反馈.仿真试验表明,模型能有效评估节点的信任度,提高系统的可用性.
- 董西广庄雷常玉存
- 关键词:对等网络信任模型
- 时间ω-树自动机识别语言的一个条件
- 2006年
- 时间自动机被广泛用于实时系统验证和模型检验.为适应不同类型的系统验证需要,不少时间自动机的相关模型被提出.时间树自动机是这样的新模型之一.目前主要是针对时间树自动机识别的语言类及相关性质的研究.本文提出了时间树自动机识别语言的一个条件,并证明了结论的正确性.如果一个语言不能满足该条件,它一定不能被时间树自动机识别.这为证明一个具体语言不能被时间树自动机识别提供了思路.
- 周清雷朱维军赵东明
- 关键词:识别语言
- NSSK协议的串空间模型及分析被引量:3
- 2007年
- 本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析。分析结果表明改进的NSSK协议是安全的。
- 周清雷王峰赵东明
- 关键词:安全协议串空间
- 面向对象软件中基于服务的类测试被引量:2
- 2002年
- 面向对象软件测试是面向对象软件开发的不可缺少的一环 ,是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键 ,基于服务的类测试是面向对象软件测试中的重要内容。本文探讨了一种类的服务的测试模型及相应的测试策略。针对Kung等人提出的块分支图 (BlockBranchDiagram) ,探讨了对服务进行结构测试和功能测试的方法 ,提出了类的服务的测试模型。
- 张雪萍霍华
- 关键词:面向对象类测试
- 面向对象软件的回归测试策略研究被引量:9
- 2005年
- 面向对象软件测试已成为软件工程领域的一个重要研究课题。目前已提出的回归测试策略大都是针对结构化程序的,对面向对象软件的回归测试策略研究得很少。文章在分析面向对象程序设计语言对软件测试影响的基础上,讨论了面向对象软件测试的测试策略,重点研究了基于类的回归测试策略。
- 张雪萍
- 关键词:面向对象软件测试
- 串空间和认证测试在协议分析中的应用
- 2008年
- 串空间模型是一种新兴的密码协议形式化分析工具。分别采用串空间模型和认证测试这两种前沿的形式化分析方法对X.509协议的认证性进行了分析,指出了该协议在认证正确性方面存在的缺陷。然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进的协议能够实现认证的正确性。通过比较发现应用认证测试方法分析安全协议,比单纯应用串空间模型更为简洁和直观。
- 丁萌伟周清雷赵东明
- 关键词:安全协议串空间X.509
- CMP协议的缺陷及改进被引量:1
- 2007年
- 近年来,安全电子商务协议的设计和分析逐渐成为热点。机密性、公平性等性质是衡量电子商务协议安全与否的重要标志,也是协议能否顺利使用的重要前提。机密性和公平性是安全电子商务协议的基本性质,但可证实电子邮件协议CMP作为电子商务协议的一种却并不满足这些性质。该文指出可证实电子邮件协议CMP的几个缺陷,对其分析并提出了改进方案,改进后的协议满足了机密性和公平性。
- 席琳赵东明
- 关键词:机密性
- Java多线程测试策略及测试方法探讨被引量:6
- 2006年
- 在分析Java多线程特性的基础上,探讨了Java多线程的测试策略及测试方法,提出Java多线程测试由类测试、集成模块测试和系统测试三个层次组成,并讨论了多线程的继承测试、同步测试以及效率测试。
- 张雪萍鲍丹王家耀
- 关键词:JAVA多线程同步测试
- 一个基于实化聚集视图的近似查询计算模型及其应用
- 2004年
- 在数据仓库、大量交易记录系统、移动计算、联机分析处理系统(OLAP)等许多领域中聚集数据的处理是一个非常重要的核心问题。该文首先分析了聚集数据查询的特点,引入了聚集查询语言和聚集查询重写;其次对于聚集查询环境下如何实现快速查询,给出了一个基于聚集数据的近似查询计算模型;最后将该计算模型应用于人口统计系统,从而实现对统计信息类数据进行快速的查询处理,获得有效的查询结果。
- 陈昕陈维兴庄雷苏锦祥
- 关键词:聚集数据统计应用