期刊文献+
共找到1,057篇文章
< 1 2 53 >
每页显示 20 50 100
Research on the Computer Network Protocol Test Model based on Genetic and Random Walk Algorithm
1
作者 Ping Li 《International Journal of Technology Management》 2016年第8期39-42,共4页
In this paper, we conduct research on the computer network protocol test model based on genetic and random walk algorithm.Network protocol is the abstract concept, is important in the process of the development of net... In this paper, we conduct research on the computer network protocol test model based on genetic and random walk algorithm.Network protocol is the abstract concept, is important in the process of the development of network system. Fully understand and grasp of thenetwork protocols for managers is there is a big diffi cult. Network covert channel is the evaluation of intrusion detection system and fi rewallsecurity performance of an important means, the paper will start from the angle of the attacker, the fl aws of the research, and use this kind ofdefect to realize network covert channel, the random walk algorithm will be feasible for dealing with this issue. For achieving this, we integratethe genetic and random walk algorithm for systematic optimization. 展开更多
关键词 Computer Network protocol test Model Genetic and Random Walk Algorithm.
在线阅读 下载PDF
A TTCN-3-based protocol testing system and its extension 被引量:4
2
作者 YIN Xia1,3,WANG ZhiLiang2,3,JING ChuanMing1,3 & SHI XinGang2,3 1 Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China 2 Network Research Center,Tsinghua University,Beijing 100084,China 3 Tsinghua National Laboratory for Information Science and Technology(TNList) ,Beijing 100084,China 《Science in China(Series F)》 2008年第11期1703-1722,共20页
The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements. This paper focuses on the test suite description and test implementation techniques. TTCN-3 is ... The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements. This paper focuses on the test suite description and test implementation techniques. TTCN-3 is chosen as the test suite description language and extended in both syntax and semantics to satisfy the requirements of protocol robustness testing. PITSv3, a protocol integrated testing system based on TTCN-3, is developed, and the extensions for robustness testing are implemented. Finally, two practical test applications are presented. 展开更多
关键词 protocol testing TTCN-3 PITSv3 robustness testing
原文传递
The Protocol Conformance Testing of CCSS7 ISUP
3
作者 金跃辉 程时端 《High Technology Letters》 EI CAS 1998年第2期68-72,共5页
This paper describes the ISUP (ISDN User Part of CCSS7) conformance testing theory and method according to CCITT and China national standards, and presents a successful ISUP protocol conformance testing system in detail.
关键词 CONFORMANCE testING protocol ISUP CCSS7 ISDN
在线阅读 下载PDF
Testing and Analysis of VoIPv6 (Voice over Internet Protocol V6) Performance Using FreeBSD
4
作者 Asaad A. Abusin M. D. Jahangir Alam Junaidi Abdullah 《International Journal of Communications, Network and System Sciences》 2012年第5期298-302,共5页
This study focuses on testing and quality measurement and analysis of VoIPv6 performance. A client, server codes were developed using FreeBSD. This is a step before analyzing the Architectures of VoIPv6 in the current... This study focuses on testing and quality measurement and analysis of VoIPv6 performance. A client, server codes were developed using FreeBSD. This is a step before analyzing the Architectures of VoIPv6 in the current internet in order for it to cope with IPv6 traffic transmission requirements in general and specifically voice traffic, which is being attracting the efforts of research, bodes currently. These tests were conducted in the application level without looking into the network level of the network. VoIPv6 performance tests were conducted in the current tunneled and native IPv6 aiming for better end-to-end VoIPv6 performance. The results obtained in this study were shown in deferent codec's for different bit rates in Kilo bits per second, which act as an indicator for the better performance of G.711 compared with the rest of the tested codes. 展开更多
关键词 VoIPv6 (Voice OVER INTERNET protocol V6) PERFORMANCE VOICE OVER INTERNET protocol V6 PERFORMANCE testing VOICE OVER INTERNET protocol V6 PERFORMANCE Analysis VoIPv6 Quality testing in the Application Level
在线阅读 下载PDF
基于黑盒模糊测试的安全协议逻辑漏洞检测
5
作者 赵栋梁 顾纯祥 +1 位作者 郑永辉 张协力 《信息工程大学学报》 2025年第1期105-112,共8页
针对安全协议实现中可能存在的逻辑错误,提出一种基于黑盒模糊测试的安全协议逻辑漏洞检测方法。将异常的协议交互行为建模为确定有限自动机(DFA),从模糊测试交互数据中提取抽象执行序列并判断其能否被DFA接受,以实现在黑盒条件下检测... 针对安全协议实现中可能存在的逻辑错误,提出一种基于黑盒模糊测试的安全协议逻辑漏洞检测方法。将异常的协议交互行为建模为确定有限自动机(DFA),从模糊测试交互数据中提取抽象执行序列并判断其能否被DFA接受,以实现在黑盒条件下检测目标逻辑错误和异常行为的功能;基于DFA状态信息驱动测试序列生成,引导模糊测试探索深层协议状态空间,以提高模糊测试发现错误和异常的概率。基于该方法实现通用的黑盒协议模糊测试框架BDFuzz以及特定于IPsec协议的测试模块,在多个广泛应用的IPsec协议实现上进行实验,发现多个违反协议规范的异常行为和能够导致目标程序崩溃的漏洞。 展开更多
关键词 安全协议 密码协议 模糊测试 网络安全 漏洞挖掘
在线阅读 下载PDF
基于LSTM的FINS协议模糊测试用例生成方法
6
作者 顾俊杰 虞闯 +1 位作者 陶耀东 孙永超 《科学技术创新》 2025年第7期44-47,共4页
采用传统模糊测试框架进行FINS协议的测试用例生成和测试结果反馈时,存在协议测试效率低下问题,测试准确度不高以及漏洞的发现时间长的问题。因长短期记忆(Long Short-Term Memory,LSTM)网络可以更好地捕捉时序数据中的长期依赖关系,所... 采用传统模糊测试框架进行FINS协议的测试用例生成和测试结果反馈时,存在协议测试效率低下问题,测试准确度不高以及漏洞的发现时间长的问题。因长短期记忆(Long Short-Term Memory,LSTM)网络可以更好地捕捉时序数据中的长期依赖关系,所以本文提出一种基于LSTM的FINS协议模糊测试用例生成方法。通过学习FINS协议中的特征位,生成符合协议基本规范的测试用例,减少无效测试时间。本实验对于不同字段进行模糊处理,实验结果表明,优化后的有效测试用例占比相较于之前提升了24%。 展开更多
关键词 长短期记忆神经网络 FINS协议 模糊测试 漏洞挖掘
在线阅读 下载PDF
基于时间触发的机载统一网络协议一致性测试技术
7
作者 闫萍萍 李晖 +2 位作者 陈银超 杨朝旭 郭晓丹 《电子科技》 2025年第1期14-22,共9页
基于时间触发的机载统一网络是下一代航空机载系统技术的重要发展方向。为实现网络设备快速可靠互联,需要建立网络协议标准并通过一致性测试保证网络信号品质可靠、协议正确无故障。文中基于AS6802及IEEE 802.3协议规范,结合机载网络需... 基于时间触发的机载统一网络是下一代航空机载系统技术的重要发展方向。为实现网络设备快速可靠互联,需要建立网络协议标准并通过一致性测试保证网络信号品质可靠、协议正确无故障。文中基于AS6802及IEEE 802.3协议规范,结合机载网络需求选取适用于航空机载时间触发网络物理层及链路层标准,建立了机载统一网络设备标准。依据网络标准设计测试项目,结合测试需求建立了基于现场可编程门阵列(Field Programmable Gate Array,FPGA)的实物测试环境。使用光示波器、光功率计、光衰减器等设备进行发送端眼图、信号速率、上升下降时间、消光比、平均光功率、接收端误码率、接收灵敏度等物理层信号特性测试。通过特异性设备仿真端系统发送测试所需网络帧,进行链路层协议状态机、同步参数一致性测试。测试结果表明,被测网络设备误码率小于10-12,眼图等光电信号特性均满足物理层标准。状态机跳转符合链路层协议,重要同步参数满足主机所规定,所成品厂实现互联互通。 展开更多
关键词 协议一致性测试 机载网络 时间触发网络 物理层测试 链路层测试 飞控系统 网络互联 网络测试
在线阅读 下载PDF
Exploring the effects of angle of incidence on stabbing resistance in advanced protective textiles:Novel experimental framework and analysis
8
作者 Mulat Alubel Abtew François Boussu Irina Cristian 《Defence Technology(防务技术)》 2025年第2期67-82,共16页
Despite numerous research investigations to understand the influences of various structural parameters,to the authors'knowledge,no research has been the effect of different angles of incidence on stab response and... Despite numerous research investigations to understand the influences of various structural parameters,to the authors'knowledge,no research has been the effect of different angles of incidence on stab response and performance of different types of protective textiles.Three distinct structures of 3D woven textiles and 2D plain weave fabric made with similar high-performance fiber and areal density were designed and manufactured to be tested.Two samples,one composed of a single and the other of 4-panel layers,from each fabric type structure,were prepared,and tested against stabbing at[0○],[22.5○],and[45○]angle of incidence.A new stabbing experimental setup that entertained testing of the specimens at various angles of incidence was engineered and utilized.The stabbing bench is also equipped with magnetic sensors and a UK Home Office Scientific Development Branch(HOSDB)/P1/B sharpness engineered knives to measure the impact velocity and exerted impact energy respectively.A silicon compound was utilized to imprint the Back Face Signature(BFS)on the backing material after every specimen test.Each silicon print was then scanned,digitized,and precisely measured to evaluate the stab response and performance of the specimen based on different performance variables,including Depth of Trauma(DOT),Depth of Penetration(DOP),and Length of Penetration(LOP).Besides,the post-impact surface failure modes of the fabrics were also measured using Image software and analyzed at the microscale level.The results show stab angle of incidence greatly influences the stab response and performance of protective textiles.The outcome of the study could provide not only valuable insights into understanding the stab response and capabilities of protective textiles under different angle of incidence,but also provide valuable information for protective textile manufacturer,armor developer and stab testing and standardizing organizations to consider the angle of incidence while developing,testing,optimizing,and using protective textiles in various applications. 展开更多
关键词 2D/3D woven fabrics Impact protective fabric Drop tower perforation test Stab resistance testing protocol Angle of incidence Multi-layer panels Soft body armor Impact surface damage
在线阅读 下载PDF
IEEE 1149.10协议的多扫描通道同步测试数据包优化策略
9
作者 杨竞波 黄新 何堂泉 《现代电子技术》 北大核心 2025年第2期55-60,共6页
为了提高IEEE 1149.10协议中多扫描通道同步测试数据包编码效率,提出一种基于多策略改进野狗算法(mMDOA)的多扫描通道数据包优化方法。首先,多策略改进野狗算法使用自适应追击步长与螺旋游走结合的迫害策略,并通过基于反向精英的食腐策... 为了提高IEEE 1149.10协议中多扫描通道同步测试数据包编码效率,提出一种基于多策略改进野狗算法(mMDOA)的多扫描通道数据包优化方法。首先,多策略改进野狗算法使用自适应追击步长与螺旋游走结合的迫害策略,并通过基于反向精英的食腐策略,帮助算法跳出局部最优,提升全局搜索的能力;其次,根据IEEE 1149.10多扫描通道同步测试数据包编码格式,提出新的扫描通道分组方法,通过扫描数据大小和数据交织大小计算组内扫描通道数目,以组内长度差为目标函数,使用mMDOA选择组内扫描通道。经实验验证,使用mMDOA算法能减少约30%数据包数量,并有效地缩短了数据包编码时间。 展开更多
关键词 IEEE 1149.10协议 多扫描通道同步测试 改进野狗算法 螺旋游走策略 通道分组 数据包编码
在线阅读 下载PDF
GMI传感器在无损检测领域的应用研究进展
10
作者 杨真 曹剑 +6 位作者 王克文 黄家宝 陈靖元 罗松 张朕泽 祝梦娇 孙学成 《微纳电子技术》 2025年第2期22-37,共16页
简要介绍了巨磁阻抗(GMI)传感器在无损检测(NDT)领域应用的优势,综合分析了GMI传感器应用于无损检测不同工况下的工作原理,并介绍了基于GMI传感器无损检测的检测方案,总结了GMI传感器在无损检测领域中的不同应用场景,重点阐述了GMI传感... 简要介绍了巨磁阻抗(GMI)传感器在无损检测(NDT)领域应用的优势,综合分析了GMI传感器应用于无损检测不同工况下的工作原理,并介绍了基于GMI传感器无损检测的检测方案,总结了GMI传感器在无损检测领域中的不同应用场景,重点阐述了GMI传感器在铁磁性材料的无损检测、工业生产与应用时材料的结构健康监测、农业和矿物探测以及电池健康监测等方面的研究进展。最后,对当前基于GMI传感器的无损检测应用所面临的困难进行了总结,并对GMI无损检测传感器未来的发展方向进行了展望,为探索GMI传感器在工业领域的更多应用提供参考。 展开更多
关键词 磁传感器 巨磁阻抗(GMI)传感器 无损检测(NDT) 检测方案 结构健康监测
在线阅读 下载PDF
FPGA芯片SRIO总线接口的仿真测试平台研究
11
作者 李洋 王琪 阳徽 《电子质量》 2025年第2期12-18,共7页
现场可编程逻辑门阵列(FPGA)的大数据量传输常采用串行高速输入/输出(SRIO)总线,目前FPGA芯片的SRIO总线接口仿真测试存在环境搭建复杂、测试覆盖性低、数据判读复杂、人员学习协议成本高等问题,极大降低了FPGA的验证效率。研究了FPGA... 现场可编程逻辑门阵列(FPGA)的大数据量传输常采用串行高速输入/输出(SRIO)总线,目前FPGA芯片的SRIO总线接口仿真测试存在环境搭建复杂、测试覆盖性低、数据判读复杂、人员学习协议成本高等问题,极大降低了FPGA的验证效率。研究了FPGA仿真测试平台方案,采用SystemVerilog、perl脚本和SVA语言相结合的方式,构建了FPGA软件SRIO总线自动化仿真验证平台框架,嵌入全套测试脚本,可实现FPGA仿真测试平台的自动搭建,SRIO总线不同配置、不同事务类型的全面性验证,模拟测试特征数据帧生成,总线协议结果自动判别。该平台可有效缩短FPGA软件的测试时间和调试周期,提高验证质量。 展开更多
关键词 现场可编程逻辑门阵列 串行高速输入/输出总线 仿真测试平台 自动化搭建 全面性验证 协议自动判别
在线阅读 下载PDF
基于Authentication Test方法的高效安全IKE形式化设计研究 被引量:4
12
作者 蒋睿 胡爱群 李建华 《计算机学报》 EI CSCD 北大核心 2006年第9期1694-1701,共8页
基于Authentication Test方法,围绕高效安全Internet密钥交换(ESIKE)协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于StrandSpace模型和Authentication Test方法... 基于Authentication Test方法,围绕高效安全Internet密钥交换(ESIKE)协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于StrandSpace模型和Authentication Test方法,形式化分析ESIKE协议,证明了其所具有的安全特性.该ESIKE协议克服了原有Internet密钥交换(IKE)协议存在的安全缺陷,提供了安全的会话密钥及安全关联(SA)协商,保护了通信端点的身份,并且保证了协议发起者和响应者间的双向认证.同时,ESIKE仅需3条消息及更少的计算量,更加简单、高效. 展开更多
关键词 协议设计 形式化方法 AUTHENTICATION testS 密钥交换Strand space模型
在线阅读 下载PDF
Principle and Design of a Test Suite Generation System——TSGS
13
作者 庞其祥 《High Technology Letters》 EI CAS 1996年第1期55-58,共4页
Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test sui... Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test suite generation.In this paper,the strategyof generating test suite from protocols modelled as EFSM is presented.This strategy consid-ers testing of both the control portion and data portion of protocols.A software,the testsuite generation system(TSGS)based on above strategy,is introduced. 展开更多
关键词 protocol conformance testing EFSM test suite generation
在线阅读 下载PDF
网络协议软件漏洞挖掘技术综述 被引量:4
14
作者 喻波 苏金树 +7 位作者 杨强 黄见欣 盛周石 刘润昊 卢建君 梁晨 陈晨 赵磊 《软件学报》 EI CSCD 北大核心 2024年第2期872-898,共27页
网络协议软件部署和应用非常广泛,在网络空间提供了诸如通信、传输、控制、管理等多样化的功能.近年来,其安全性逐渐受到学术界和工业界的重视,及时发现和修补网络协议软件漏洞,成为一项重要的课题.网络协议软件由于部署形态多样、协议... 网络协议软件部署和应用非常广泛,在网络空间提供了诸如通信、传输、控制、管理等多样化的功能.近年来,其安全性逐渐受到学术界和工业界的重视,及时发现和修补网络协议软件漏洞,成为一项重要的课题.网络协议软件由于部署形态多样、协议交互过程复杂、相同协议规范的多个协议实现存在功能差异等特点,使得其漏洞挖掘技术面临诸多挑战.首先对网络协议软件漏洞挖掘技术进行分类,对已有关键技术的内涵进行界定.其次,进一步综述网络协议软件漏洞挖掘4个方面的技术进展,包括网络协议描述方法、挖掘对象适配技术、模糊测试技术和基于程序分析的漏洞挖掘方法,通过对比分析归纳不同方法的技术优势及评价维度.最后,总结网络协议软件漏洞挖掘的技术现状和挑战,并提炼5个潜在研究方向. 展开更多
关键词 网络协议软件 漏洞挖掘 模糊测试 程序分析 符号执行
在线阅读 下载PDF
OFtest开源测试工具分析与应用
15
作者 田姣姣 叶晓舟 《网络新媒体技术》 2018年第2期48-53,共6页
OFtest是思博伦公司和印第安纳大学inCNTER实验室联合推出的OpenFlow交换机协议一致性测试工具,是基于Python实现的开源项目,OFtest是基于Python实现的开源项目,已成为SDN最流行的测试工具之一。该文从系统实现的角度,对OFtest进行了分... OFtest是思博伦公司和印第安纳大学inCNTER实验室联合推出的OpenFlow交换机协议一致性测试工具,是基于Python实现的开源项目,OFtest是基于Python实现的开源项目,已成为SDN最流行的测试工具之一。该文从系统实现的角度,对OFtest进行了分析,并详细说明了系统框架、控制模块、数据模块、测试辅助模块4个部分;从实际应用的角度,介绍了本地虚拟交换机的测试方法和设计测试用例需要遵循的规则,并提出了面向POF交换机的扩展建议。 展开更多
关键词 SDN技术 OpenFlow交换机协议一致性测试 OFtest开源项目 POF协议
在线阅读 下载PDF
IKEChecker:语法引导的IKE协议有状态模糊测试
16
作者 郑永辉 赵栋梁 +1 位作者 顾纯祥 张协力 《网络与信息安全学报》 2024年第4期109-122,共14页
互联网密钥交换(IKE,internet key exchange)协议用于在IPSec(internet protocol security)协议中进行身份验证和密钥协商,其安全性对保护IP通信至关重要,复杂的协议逻辑导致协议实现中难免存在安全漏洞。模糊测试是检测协议实现中潜在... 互联网密钥交换(IKE,internet key exchange)协议用于在IPSec(internet protocol security)协议中进行身份验证和密钥协商,其安全性对保护IP通信至关重要,复杂的协议逻辑导致协议实现中难免存在安全漏洞。模糊测试是检测协议实现中潜在漏洞的有效手段,但将现有模糊测试工具直接应用于IKE协议时,存在生成测试用例质量不高、难以探索深层状态空间等局限性。针对上述问题,设计了基于IKE协议语法的变异策略来减少无效测试用例的生成,同时增加测试用例的多样性;引入了基于进化策略的变异调度方案来自动优化变异算子的概率分布,进一步提高生成高质量测试用例的概率;设计了消息处理器用来维护协议交互上下文信息并执行密码学相关的操作,从而支持在黑盒条件下对IKE协议进行测试,并实现对深层协议交互行为和状态空间的探索。基于上述方法实现了IKE协议有状态模糊测试工具IKEChecker,该工具支持对IKEv1和IKEv2协议进行测试。对两种广泛使用的支持IKE协议实现的开源软件strongSwan和Libreswan进行测试,发现4个未公开漏洞;通过与其他模糊测试工具对比,评估了IKEChecker在漏洞检测方面的效率。 展开更多
关键词 安全协议 模糊测试 软件测试 IKE协议
在线阅读 下载PDF
Protocol for a Diagnostic Accuracy Study of Polymerase Chain Reaction for Detecting Group B <i>Streptococcus</i>Colonisation in Early Labour or with Spontaneous Ruptured Membranes
17
作者 Laura Cunningham Bradley de Vries +1 位作者 Jon A. Hyett Hala Phipps 《Open Journal of Obstetrics and Gynecology》 2018年第11期1023-1031,共9页
Background: Group B Streptococcus [GBS] is a bacterium which transiently colonises the genital tract and can be transmitted from mother to baby at birth. Babies colonised with GBS can develop early-onset group B strep... Background: Group B Streptococcus [GBS] is a bacterium which transiently colonises the genital tract and can be transmitted from mother to baby at birth. Babies colonised with GBS can develop early-onset group B streptococcus disease [EOGBSD] which can lead to extended hospital stay, disability and death. One of the primary methods for determining which women are most likely to be GBS positive at the time of birth is antenatal universal culture-based screening. Recently Polymerase Chain Reaction [PCR] screening has emerged as a point-of-care method for screening women during the intrapartum period. This study will compare the diagnostic accuracy of this new technology and antenatal culture-based screening at 35 to 37 weeks gestational age, with the reference standard of formal culture-based testing in labour. Methods: This prospective observational study will take place in an Australian hospital. Consecutive women with one or more live fetuses, intending to have a vaginal birth will be asked to participate. Planned screening for GBS colonisation using microbiological culture on a self-collected specimen will occur at 35 to 37 completed weeks gestational age as per our usual hospital policy. A PCR GBS test by Xpert GBS (Cepheid) will be performed on admission to labour ward or at the time of rupture of membranes. The reference standard will be a formal GBS culture on a combined lower vaginal and perianal swab. The sensitivity, specificity, positive and negative predictive values, and positive and negative likelihood ratios will be estimated for both antenatal screening and the intrapartum Xpert GBS (Cepheid) point-of-care test and compared to the reference standard. Results: It is expected that the study will be completed by mid to late 2020. Conclusion: This study has the potential to improve the accuracy of GBS screening of pregnant women and therefore health outcomes for mothers and babies. There is also the potential for a cost savings to the health system. 展开更多
关键词 GBS Screening GROUP B STREPTOCOCCUS Antibiotic Prophylaxis Early-Onset GROUP B Strep INTRAPARTUM Rapid Diagnostic test protocol Neonates
在线阅读 下载PDF
Smart Inverter Functionality Testing for Battery Energy Storage Systems
18
作者 Jun Hashimoto Taha Selim Ustun Kenji Otani 《Smart Grid and Renewable Energy》 2017年第11期337-350,共14页
Variable distributed energy resources (DERs) such as photovoltaic (PV) systems and wind power systems require additional power resources to control the balance between supply and demand. Battery energy storage systems... Variable distributed energy resources (DERs) such as photovoltaic (PV) systems and wind power systems require additional power resources to control the balance between supply and demand. Battery energy storage systems (BESSs) are one such possible resource for providing grid stability. It has been proposed that decentralized BESSs could help support microgrids (MGs) with intelligent control when advanced functionalities are implemented with variable DERs. One key challenge is developing and testing smart inverter controls for DERs. This paper presents a standardized method to test the interoperability and functionality of BESSs. First, a survey of grid-support standards prevalent in several countries was conducted. Then, the following four interoperability functions defined in IEC TR 61850-90-7 were tested: the specified active power from storage test (INV4), the var-priority Volt/VAR test (VV) and the specified power factor test (INV3) and frequency-watt control (FW). This study then out-lines the remaining technical issues related to basic BESS smart inverter test protocols. 展开更多
关键词 Battery ENERGY Storage Systems Distributed ENERGY Resources SMART INVERTER CONTROLS Grid-Support Standards test protocols Interoperability
在线阅读 下载PDF
基于递归认证测试的SIP协议形式化分析
19
作者 姚萌萌 王宇 洪瑜平 《信息网络安全》 CSCD 北大核心 2024年第10期1586-1594,共9页
文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过... 文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过程中协议格式不准确、易受中间人攻击的缺陷,并提出了针对该协议缺陷的改进方案。结果表明,文章所提出的递归认证测试形式化分析方法比BAN逻辑更适用、更有效,同时改进方案也增强了SIP身份认证协商协议的安全性。 展开更多
关键词 SIP协议 递归认证测试 串空间 形式化分析方法
在线阅读 下载PDF
Research on Time-Synchronization-Based Test and Control System of Aeroengine
20
作者 吴文杰 秦东兴 董伟 《Journal of Electronic Science and Technology of China》 2004年第4期64-67,共4页
This paper presents a method of NTP-based time synchronization and a strategy of master-slave server structured time synchronization to ensure the test and control system of aeroengine to be time-synchronized. Based o... This paper presents a method of NTP-based time synchronization and a strategy of master-slave server structured time synchronization to ensure the test and control system of aeroengine to be time-synchronized. Based on time synchronization, the hierarchy and the integration of the measurement and control system of aeroengine are investigated. In result, our method is successfully applied for multiple front-end tests in a simulative altitude test facility of aeroengine. 展开更多
关键词 AEROENGINE distributed test and control system time synchronization NTP protocol
在线阅读 下载PDF
上一页 1 2 53 下一页 到第
使用帮助 返回顶部