检索结果-维普期刊中文期刊服务平台

基于行为树的协议建模方法及其应用研究被引量：3: 1; 作者熊海军朱永利 +2 位作者赵建利毕建刚王德文《计算机应用研究》 CSCD 北大核心 2014年第9期2696-2699,2710,共5页; 为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试... 展开更多; 关键词行为树协议建模测试序列协议验证通信顺序进程; 在线阅读下载PDF 职称材料

基于ESTELLE的网络协议建模方法被引量：2: 2; 作者李国庆安建平杨杰《电子学报》 EI CAS CSCD 北大核心 2007年第4期743-746,共4页; 协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD 188-220C... 展开更多; 关键词协议建模形式描述有限状态机; 在线阅读下载PDF 职称材料

基于Event-B方法的安全协议设计、建模与验证被引量：3: 3; 作者李梦君潘国腾欧国东《软件学报》 EI CSCD 北大核心 2018年第11期3400-3411,共12页; 随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B... 展开更多; 关键词安全协议设计安全协议建模与验证精化 Event-B方法; 在线阅读下载PDF 职称材料

基于赋时层次着色Petri网的流控制传输协议连接建模与分析被引量：3: 4; 作者张生财张静《科学技术与工程》北大核心 2020年第26期10840-10847,共8页; 流控制传输协议(stream control transmission protocol,SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统... 展开更多; 关键词 SCTP连接协议建模与分析赋时层次着色Petri网(HTCPN); 在线阅读下载PDF 职称材料

甚高频数据链模式2网络仿真分析被引量：8: 5; 作者王晓琳张学军贾旭光《系统仿真学报》 EI CAS CSCD 北大核心 2006年第3期638-642,共5页; 深入分析了我国下一代的航空子网络之一--甚高频数据链模式2(VeryHighFrequencyDataLinkMode2)的下三层通信协议,使用网络仿真工具OPNETModeler,建立详细协议模型并搭建仿真平台,基于不同的飞机数量与报文特性,分析了网络吞吐量及端到... 展开更多; 关键词甚高频数据链模式2 OPNET 航空网络协议建模网络吞吐量网络延迟; 在线阅读下载PDF 职称材料

新型实时工业以太网MAC协议的设计与实现: 6; 作者尹汝泼蔡云泽 +1 位作者何星张卫东《计算机工程与应用》 CSCD 北大核心 2006年第17期15-18,34,共5页; 论文介绍了一种基于载波长度的信令传播机制,根据信元的包长建立优先级,新型的实时以太网介质访问控制协议通过引入信道阻塞模式,在标准以太网信道上为硬实时信息提供具有上限的传输时延保证。在OPNET仿真环境下,详细描述了用离散时间... 展开更多; 关键词工业以太网介质访问控制协议建模; 在线阅读下载PDF 职称材料

按空间网络中基于身份的TLS协议设计与仿真被引量：3: 7; 作者张宇飞苏锦海张传富《计算机工程与设计》 CSCD 北大核心 2013年第7期2517-2521,共5页; 传输层安全(TLS)协议存在着握手时延大,交互次数多,计算开销大等缺点,不能够适合空间网络的传输特点。在对基于身份的加密机制和TLS协议进行分析的基础上,设计了一种面向空间网络的基于身份的TLS协议,进行了安全性分析。基于OPNET建立... 展开更多; 关键词空间网络基于身份加密传输层安全协议协议建模 OPNET仿真; 在线阅读下载PDF 职称材料

多协议交叉的HMM协议异常检测算法: 8; 作者吴楚田陈永乐陈俊杰《计算机工程与应用》 CSCD 北大核心 2020年第8期81-86,共6页; 随着网络攻击的不断多样化,现有的协议异常检测工作在准确率和实时性方面面临新的挑战。针对目前的协议异常检测方法只面向单一协议的恶意攻击而未考虑协议之间的关联,提出一种基于HMM的协议异常交叉检测算法。使用多个协议的语义关键... 展开更多; 关键词异常检测协议行为建模协议交叉检测隐马尔可夫模型(HMM); 在线阅读下载PDF 职称材料

层次可靠多播的差错恢复实时性分析: 9; 作者马钰璐王重钢程时端《电子学报》 EI CAS CSCD 北大核心 2001年第12期1723-1725,共3页; 本文通过建立层次可靠多播的抽象网络模型 ,以及引入等价概率链路的概念和方法 ,对层次可靠多播差错恢复的实时性进行了分析 .建立模型的目的一是为了分析一个特定层次多播树的实时性能。; 关键词可靠多播实时性分析协议建模通信网 IP网; 在线阅读下载PDF 职称材料

题名基于行为树的协议建模方法及其应用研究被引量：3: 1; 作者熊海军朱永利赵建利毕建刚王德文; 机构华北电力大学控制与计算机工程学院国网河北省电力公司电力科学研究院中国电力科学研究院; 出处《计算机应用研究》 CSCD 北大核心 2014年第9期2696-2699,2710,共5页; 基金国家自然科学基金资助项目(61074078) 中央高校基本科研业务费专项资金(2014MS126) 国家电网公司科技项目(GY17201200047); 文摘为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试序列生成方法。以某监控协议为例给出了基于行为树的建模过程,将所建模型转换为通信顺序进程(CSP)后采用过程分析工具(PAT)完成了协议验证,并完成了测试序列的计算与对比分析,结果表明提出的方法能方便地完成对协议的描述与验证,能降低测试序列计算复杂度并减少生成的测试序列长度。; 关键词行为树协议建模测试序列协议验证通信顺序进程; Keywords behaviour trees protocol modelling test sequence protocol verifying CSP; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论] TP393.04 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于ESTELLE的网络协议建模方法被引量：2: 2; 作者李国庆安建平杨杰; 机构大唐移动通信设备有限公司北京理工大学; 出处《电子学报》 EI CAS CSCD 北大核心 2007年第4期743-746,共4页; 文摘协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD 188-220C协议进行建模.; 关键词协议建模形式描述有限状态机; Keywords protocol modeling specification description FSM; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于Event-B方法的安全协议设计、建模与验证被引量：3: 3; 作者李梦君潘国腾欧国东; 机构国防科技大学计算机学院信息安全国家重点实验室(中国科学院信息工程研究所); 出处《软件学报》 EI CSCD 北大核心 2018年第11期3400-3411,共12页; 基金国家自然科学基金(61672525) 中国科学院信息工程研究所信息安全国家重点实验室开放课题(2016-MS-21)~~; 文摘随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B方法的安全协议形式化设计、建模与源程序验证的典型研究工作,主要包括从需求规范到消息传递形式协议的安全协议精化设计、基于TPM(trusted platform module)的安全协议应用的精化建模以及从消息传递形式协议到代码的源程序精化验证.; 关键词安全协议设计安全协议建模与验证精化 Event-B方法; Keywords security protocol design security protocol modeling and verification refinement event-B method; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于赋时层次着色Petri网的流控制传输协议连接建模与分析被引量：3: 4; 作者张生财张静; 机构甘肃政法大学网络空间安全学院; 出处《科学技术与工程》北大核心 2020年第26期10840-10847,共8页; 文摘流控制传输协议(stream control transmission protocol,SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统进行建模,并能够用形式化的方法进行验证分析。因此,采用基于事件和基于状态的建模方法,提出了SCTP连接的赋时层次着色Petri网模型,该模型考虑了网络时延和丢失以及重传机制。通过CPN Tools分析,验证了SCTP连接过程的预期性质,并在RFC4960中描述的SCTP连接过程中发现了两类死锁问题。; 关键词 SCTP连接协议建模与分析赋时层次着色Petri网(HTCPN); Keywords stream control transmission protocol(SCTP)association protocol modeling and analysis hierarchical timed colored Petri nets(HTCPN); 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名甚高频数据链模式2网络仿真分析被引量：8: 5; 作者王晓琳张学军贾旭光; 机构北京航空航天大学电子信息工程学院; 出处《系统仿真学报》 EI CAS CSCD 北大核心 2006年第3期638-642,共5页; 基金航空科学基金(02F51070); 文摘深入分析了我国下一代的航空子网络之一--甚高频数据链模式2(VeryHighFrequencyDataLinkMode2)的下三层通信协议,使用网络仿真工具OPNETModeler,建立详细协议模型并搭建仿真平台,基于不同的飞机数量与报文特性,分析了网络吞吐量及端到端的网络延迟性能,并获得VDLM2子网的最佳性能指标。; 关键词甚高频数据链模式2 OPNET 航空网络协议建模网络吞吐量网络延迟; Keywords Very High Frequency Data Link Mode 2（VDLM2） OPNET Aeronautical Network Protocol Modeling Network Throughput Network Delay; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名新型实时工业以太网MAC协议的设计与实现: 6; 作者尹汝泼蔡云泽何星张卫东; 机构上海交通大学自动化系; 出处《计算机工程与应用》 CSCD 北大核心 2006年第17期15-18,34,共5页; 基金国家863高技术研究发展计划资助项目(编号:2002AA412010-08) 国家自然科学基金资助项目(编号:60474031); 文摘论文介绍了一种基于载波长度的信令传播机制,根据信元的包长建立优先级,新型的实时以太网介质访问控制协议通过引入信道阻塞模式,在标准以太网信道上为硬实时信息提供具有上限的传输时延保证。在OPNET仿真环境下,详细描述了用离散时间驱动的有限状态机实现协议的建模方法,并通过仿真验证了协议的正确性和有效性。; 关键词工业以太网介质访问控制协议建模; Keywords industrial Ethemet,medium access control,protocol modeling; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名按空间网络中基于身份的TLS协议设计与仿真被引量：3: 7; 作者张宇飞苏锦海张传富; 机构信息工程大学; 出处《计算机工程与设计》 CSCD 北大核心 2013年第7期2517-2521,共5页; 文摘传输层安全(TLS)协议存在着握手时延大,交互次数多,计算开销大等缺点,不能够适合空间网络的传输特点。在对基于身份的加密机制和TLS协议进行分析的基础上,设计了一种面向空间网络的基于身份的TLS协议,进行了安全性分析。基于OPNET建立了安全协议的模型,通过仿真对安全协议在空间网络中的性能进行了分析和比较。仿真结果表明,这种传输层安全协议是适合空间网络环境的有效安全机制。; 关键词空间网络基于身份加密传输层安全协议协议建模 OPNET仿真; Keywords space network identity-based cryptography TLS protocol protocol modeling OPNET simulation; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名多协议交叉的HMM协议异常检测算法: 8; 作者吴楚田陈永乐陈俊杰; 机构太原理工大学信息与计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2020年第8期81-86,共6页; 基金山西省自然科学基金重点课题(No.201701D111002)。; 文摘随着网络攻击的不断多样化,现有的协议异常检测工作在准确率和实时性方面面临新的挑战。针对目前的协议异常检测方法只面向单一协议的恶意攻击而未考虑协议之间的关联,提出一种基于HMM的协议异常交叉检测算法。使用多个协议的语义关键词和时间标记来构造报文序列作为模型的训练集,提出协议报文语义合并算法并结合Baum-Welch算法构建多协议交叉的HMM,在序列化协议报文的同时收集子序列重复数来进一步校验HMM对存在大量循环操作的攻击行为的检测。通过在视频监控网络中进行仿真实验,证明该检测算法同现有的HMM异常检测方法相比,可以更准确地检测多种恶意攻击,同时具有一定的通用性。; 关键词异常检测协议行为建模协议交叉检测隐马尔可夫模型(HMM); Keywords anomaly detection protocol behavior modeling cross-protocol detection Hidden Markov Model(HMM); 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名层次可靠多播的差错恢复实时性分析: 9; 作者马钰璐王重钢程时端; 机构北京邮电大学程控交换与国家重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2001年第12期1723-1725,共3页; 文摘本文通过建立层次可靠多播的抽象网络模型 ,以及引入等价概率链路的概念和方法 ,对层次可靠多播差错恢复的实时性进行了分析 .建立模型的目的一是为了分析一个特定层次多播树的实时性能。; 关键词可靠多播实时性分析协议建模通信网 IP网; Keywords reliable multicast real time analysis protocol modeling; 分类号 TN919.2 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于行为树的协议建模方法及其应用研究	熊海军朱永利赵建利毕建刚王德文	《计算机应用研究》 CSCD 北大核心	2014	3	在线阅读下载PDF 职称材料
2	基于ESTELLE的网络协议建模方法	李国庆安建平杨杰	《电子学报》 EI CAS CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
3	基于Event-B方法的安全协议设计、建模与验证	李梦君潘国腾欧国东	《软件学报》 EI CSCD 北大核心	2018	3	在线阅读下载PDF 职称材料
4	基于赋时层次着色Petri网的流控制传输协议连接建模与分析	张生财张静	《科学技术与工程》北大核心	2020	3	在线阅读下载PDF 职称材料
5	甚高频数据链模式2网络仿真分析	王晓琳张学军贾旭光	《系统仿真学报》 EI CAS CSCD 北大核心	2006	8	在线阅读下载PDF 职称材料
6	新型实时工业以太网MAC协议的设计与实现	尹汝泼蔡云泽何星张卫东	《计算机工程与应用》 CSCD 北大核心	2006	0	在线阅读下载PDF 职称材料
7	按空间网络中基于身份的TLS协议设计与仿真	张宇飞苏锦海张传富	《计算机工程与设计》 CSCD 北大核心	2013	3	在线阅读下载PDF 职称材料
8	多协议交叉的HMM协议异常检测算法	吴楚田陈永乐陈俊杰	《计算机工程与应用》 CSCD 北大核心	2020	0	在线阅读下载PDF 职称材料
9	层次可靠多播的差错恢复实时性分析	马钰璐王重钢程时端	《电子学报》 EI CAS CSCD 北大核心	2001	0	在线阅读下载PDF 职称材料