国家教育部博士点基金(2000035802)

作品数：20被引量：45H指数：4
导出分析报告
相关作者：赵保华屈玉贵顾翔郭雄辉李越鹏更多>>
相关机构：中国科学技术大学更多>>
相关期刊：《北京邮电大学学报》《软件学报》《计算机学报》《计算机工程与应用》更多>>
相关主题：通信协议路由协议OSPF网络协议CSP更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于并发路径的协议验证方法
《小型微型计算机系统》2004年第10期1733-1736,共4页胡劲松 赵保华 屈玉贵 
国家自然科学基金重大研究计划项目 ( 90 10 40 10 0 )资助;自然科学基金科学部主任基金项目 ( 60 2 410 0 4)资助;教育部博士点基金项目 ( 2 0 0 0 0 3 5 80 2 )资助;安徽省自然科学基金项目 ( 0 10 42 2 0 8)资助;国家"863"计划项目 ( 2 0 0 1AA112 0 62和2
通信协议验证方法中 ,可达性分析是一种方便的、易于自动化处理的、有效的协议验证方法 .但是随着通信协议的多样性和复杂性的不断增加 ,状态爆炸问题使得可达性分析变得难以实施 .本文采用分而治之的策略 ,提出一种基于并发路径的协议...
关键词：协议验证 并发路径 
Petri网和Z语言的集成形式化方法
《小型微型计算机系统》2004年第8期1450-1453,共4页胡劲松 赵保华 郭雄辉 屈玉贵 
国家自然科学基金重大研究计划项目 ( 90 10 40 10 )资助 ;国家自然科学基金科学部主任基金项目( 60 2 410 0 4)资助 ;教育部博士点基金项目 ( 2 0 0 0 0 3 5 80 2 ) ;国家 863计划项目 ( 2 0 0 1AA112 0 62; 2 0 0 1AA12 10 16)的资助
随着各具特色的形式化方法不断涌现 .研究各种形式化模型之间的关系 ,并且通过组合、集成的方法 ,综合它们的特性 ,不仅在理论上 ,而且在实践中都具有非常重大的意义 .将集成 Petri网和 Z语言两种形式化方法 ,使它们能够保留各自的优点 ...
关键词：形式化方法 PETRI网 Z语言 PZ网 
一种描述安全协议的形式化规范语言被引量：2
《小型微型计算机系统》2004年第7期1246-1249,共4页刘政 赵保华 屈玉贵 
国家自然科学基金重大研究计划项目 (90 10 40 10 )资助;国家自然科学基金科学部主任基金项目(60 2 410 0 4)资助;教育部博士点基金项目 (2 0 0 0 0 3 5 80 2 )资助;国家 863计划项目 (2 0 0 1AA112 0 62和 2 0 0 1AA12 10 16)资助;中国科学院院长基金特别支持项
安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来...
关键词：安全协议 构造类别代数 形式化描述语言 
一种基于CSP的协议模型技术
《小型微型计算机系统》2004年第5期807-810,共4页顾翔 赵保华 屈玉贵 
自然科学基金重大研究计划项目(9010 40 10)资助;教育部博士点基金项目(2 000035802)资助;国家863计划项目(2001AA112 0 62;200 1AA121016)资助;安徽省自然科学基金项目 (010 42208)资助;中国科学院院长基金特别支持项目(院基计字905号 )资助
讨论了为建立协议模型而进行的 CSP扩充问题 .主要向 CSP中引入了可终止进程的概念 ,给出了可终止进程的判定方法 ;提出了用 CSP来描述异步通信的手段 ;介绍了如何实现从 FSM模型向 CSP模型的转换 ;最后给出了 AB协议的
关键词：协议工程 通信顺序进程 进程 形式化描述语言 
使用构造类别代数描述和验证密码协议
《通信学报》2004年第3期91-96,共6页刘政 赵保华 屈玉贵 
自然科学基金重大计划资助项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金项目(2000035802);国家"973"计划项目(2003-7);国家"863"基金资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支持资助项目(院基计字90
密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证,或者不利于描述。本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议...
关键词：密码协议 构造类别代数 形式化描述 协议验证 
通信顺序进程的扩充及其在协议形式化技术中的应用被引量：4
《通信学报》2004年第2期43-50,共8页顾翔 赵保华 屈玉贵 
自然科学基金重大研究计划项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金资助项目(2000035802);安徽省自然科学基金资助项目(01042208);国家"863"计划基金资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支
讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨...
关键词：协议工程 通信顺序进程 形式化描述技术 协议测试 
OSPF协议性能测试的研究与实践被引量：4
《计算机应用》2003年第10期62-63,66,共3页邵兵 李越鹏 赵保华 
自然科学基金重大研究计划项目(90104010);自然科学基金科学部主任基金项目(60241004);教育部博士点基金项目(2000035802);安徽省自然科学基金项目(01042208);国家863计划项目(2001AA112062;2001AA121016);中国科学院院长基金特别支持项目(形式化的协议理论的研究院基计字905号)
作为在Internet中广泛使用的一种内部网关协议,OSPF路由器的性能对网络的整体性能有着重要的影响。本文使用黑盒测试方法,用网络拓扑环境模拟软件NS仿真多种网络环境,对实现OSPF的路由软件gated进行了测试,测试了OSPF的时间性能。并对...
关键词：OSPF 性能测试 NS2 
利用半可控接口进行通信协议一致性测试被引量：1
《通信学报》2003年第8期72-77,共6页吴慧萍 屈玉贵 赵保华 
自然科学基金重大研究计划项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金资助项目(2000035802);安徽省自然科学基金资助项目(01042208);国家"863"计划基金资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支
介绍了一种基于半可控接口的图转换算法,并应用于某通信产品的H.245协议一致性测试中,不仅增加了可测试转换的数目,还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列,错误覆盖率和测试效率都得到了显著的提高。
关键词：一致性测试 嵌入协议测试 半可控接口 扩展的有限状态机 
基于构造类别代数的数据流和控制流相结合的协议测试被引量：5
《北京邮电大学学报》2003年第z2期7-11,共5页郭雄辉 赵保华 周颢 屈玉贵 
自然科学基金重大研究计划项目资助(90104010);自然科学基金科学部主任基金项目资助(60241004);教育部博士点基金项目资助(2000035802);安徽省自然科学基金项目资助(01042208);国家"863计划"项目资助(2001AA112062和2001AA121016);中国科学院院长基金特别支持项目资助(院基计字905号).
如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且...
关键词：构造类别代数 形式化描述 一致性测试 
基于Tcl的路由协议一致性测试被引量：7
《北京邮电大学学报》2003年第z2期37-41,共5页余营志 赵保华 屈玉贵 
自然科学基金重大研究计划项目资助(90104010);自然科学基金科学部主任基金项目资助(60241004);教育部博士点基金项目资助(2000035802);安徽省自然科学基金项目资助(01042208);国家"863计划"项目资助(2001AA112062和2001AA121016);中国科学院院长基金特别支持项目资助(院基计字905号).
针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.
关键词：一致性测试 路由协议 测试系统 TCL 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部