国家高技术研究发展计划(2001AA112062)

作品数：14被引量：26H指数：3
导出分析报告
相关作者：赵保华屈玉贵顾翔赵静刘政更多>>
相关机构：中国科学技术大学更多>>
相关期刊：《计算机学报》《计算机工程与应用》《通信学报》《小型微型计算机系统》更多>>
相关主题：通信协议RSL形式化描述TCL计算机网络更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种描述安全协议的形式化规范语言被引量：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)资助;中国科学院院长基金特别支持项
安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来...
关键词：安全协议 构造类别代数 形式化描述语言 
RSL应用于协议形式化描述的研究
《小型微型计算机系统》2004年第3期447-450,共4页赵静 屈玉贵 赵保华 
国家自然科学基金重大研究计划项目 ( 90 10 40 10 )资助;国家 863计划项目 ( 2 0 0 1AA112 0 62 )资助
在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问...
关键词：形式化描述 RSL 形式描述语言 面向对象 FSM 时间描述机制 通信协议 
使用构造类别代数描述和验证密码协议
《通信学报》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描述,并在此基础上初步讨...
关键词：协议工程 通信顺序进程 形式化描述技术 协议测试 
基于Tcl的BGP一致性测试系统设计被引量：2
《计算机应用》2003年第11期49-50,53,共3页张波 赵保华 屈玉贵 张英堂 
国家自然科学基金重大研究计划项目(90104010);国家自然科学基金资助项目(60241004);国家863计划资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支持项目(院基计字905号)
针对协议一致性测试的特点和要求,介绍了一种基于Tcl的BGP协议一致性测试系统的设计方法。相对于目前使用较多的基于TTCN的方法,该方法具有灵活性高,模块独立性好等优点。文中给出了一个基于该系统的测试例的实例。初步实验结果表明该...
关键词：协议测试 一致性测试 BGP TCL 
利用半可控接口进行通信协议一致性测试被引量：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 
优化消息轨迹图以提高TTCN测试套的开发效率被引量：1
《北京邮电大学学报》2003年第z2期80-84,共5页吴慧萍 屈玉贵 赵保华 
自然科学基金重大研究计划资助项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金资助项目(2000035802);安徽省自然科学基金资助项目(01042208);国家"863计划"资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支持资助项目(基计字905号)
最新的消息轨迹图(MSC)标准MSC 2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H 323、H 245等协议一致性测试的TTCN测...
关键词：协议工程 消息轨迹图 TTCN测试套 一致性测试 
BGP协议配置及其对路由器性能的影响被引量：1
《计算机工程与应用》2003年第6期155-157,共3页孙朝静 赵保华 
国家自然科学基金重大研究计划项目(编号:90104010);国家863高技术研究发展计划项目(编号:2001AA112062);教育部博士点基金项目(编号:2000035802);安徽省自然科学基金项目(编号:01042208);中国科学院院长基金特别支持项目(编号:院基计字905号)
BGP协议作为一个域间选路协议,很大程度上影响着Internet路由在延迟时间,有效性上的表现。研究表明,很多网络路由的延迟并非由因特网骨干路由器的BGP的路由决策导致的,而大多由于不恰当的路由器协议参数引发。论文主要阐述了路由器的参...
关键词：BGP协议 路由器 性能 INTERNET 边界网关路由协议 路由策略 域间选路协议 参数配置 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部