资源类型

期刊论文 311

年份

2024 1

2023 37

2022 45

2021 34

2020 23

2019 24

2018 18

2017 20

2016 13

2015 7

2014 4

2013 2

2012 7

2011 4

2010 5

2009 3

2008 6

2007 5

2006 13

2005 9

展开 ︾

关键词

COVID-19 2

人工智能 2

冷凝水闪蒸 2

可持续发展 2

液压提升机 2

重金属废水 2

2 Mb/s高速信令 1

2D—3D配准 1

3D细胞容器 1

5G 1

802.11i 1

AQAM 1

BG算法 1

BNLAS 1

Bellare-Rogaway模型 1

C-Bézier曲面;降阶;边界约束 1

EDI 1

Griewank;双尺度结构;多尺度量子谐振子算法;量子隧道效应 1

HY-2 1

展开 ︾

检索范围:

排序: 展示方式:

基于IP骨干网的虚拟专用网理论与实现

李秀忠

《中国工程科学》 2002年 第4卷 第3期   页码 84-91

摘要: 着重讨论了VPRN的两种实现机制——边界网关/协议交换BGP/MPLS)和虚拟路由器(VR),并进行了比较。

关键词: 虚拟专用路由网(VPRN)     虚拟专用局域网段(VPLS)     边界网关/协议交换BGP/MPLS    虚拟路由器(VR)     最坏情况加权公平排队(WF2Q)     随机早期检测(RED    

微观移动协议主动切换机制研究

赵阿群

《中国工程科学》 2004年 第6卷 第8期   页码 50-56

摘要:

针对微观移动协议现有切换机制的缺点,提出了主动切换机制,利用移动预测技术,在切换发生前预测移动主机将要切换的下一蜂窝以及切换的时刻,为移动主机预先建立新路径;为了保证主动切换机制的实现,提出了一个适用于主动切换机制并易于实现的移动预测算法

关键词: 微观移动协议     主动切换机制     移动预测     性能评价    

EAP-FAST在公共无线局域网安全接入控制中的研究及实现

曹萍,裴文江

《中国工程科学》 2005年 第7卷 第12期   页码 78-82

摘要:

Cisco公司于2004年提出基于隧道的灵活认证协议(EAP-FAST)以替代存在安全漏洞的LEAP认证协议,该协议具有安全性和易部署性的特点。文章论述了基于802.1x协议的EAP-FAST认证协议及其实现技术,并在公共无线局域网(PWLAN)综合实验平台上实现了EAP-FAST认证的客户端、认证者、认证服务器端功能。

关键词: 公共无线局域网     端口访问控制协议(802.1x)     基于隧道的灵活认证协议(EAP-FAST)    

基于重放分析的网络协议软件状态变量自动化发现技术 Research Article

黄见欣1,喻波1,刘润昊1,苏金树1,2

《信息与电子工程前沿(英文)》 2023年 第24卷 第3期   页码 403-416 doi: 10.1631/FITEE.2200275

摘要: 网络协议软件通常具有程序路径复杂、状态空间庞大的特点。程序中往往存在着一些带有状态的关键变量,用于记录协议状态和会话信息。这些状态变量一旦处理不当,很可能违背协议规范,进而产生逻辑错误,导致协议软件出现潜在的缺陷或漏洞。本文针对现有程序分析技术难以发现网络协议软件中的状态变量,且自动化程度偏低的问题,提出一种基于重放分析的状态变量识别方法。考虑到状态变量主要反映着通信双方的参数和程序的状态,具有这些特征的变量通常会以全局变量或静态变量的形式,持续存在于进程之中,该方法通过记录和重放协议软件的执行轨迹,运用动态插桩技术,在协议状态和软件状态的变化过程中在此基础上,设计并实现了一套能够自动化发现状态变量的原型系统,在ProFuzzBench中的9个程序和2个现实中的复杂协议软件上进行了测试。

关键词: 状态变量;网络协议软件;程序分析技术;网络安全    

IP组播路由协议的研究与实现

李炜

《中国工程科学》 2002年 第4卷 第1期   页码 82-88

摘要:

概述了组播路由协议。分析了协议独立的组播路由一稀疏模式(PIM-SM)的缺陷,提出多个会聚 点(RPs)的PIM-SM的改进机制。多个RPs机制有效地提高了原有单个RP的PIM-SM协议的健壮性,有利 于实现负载均衡、分类业务及提高系统的容错性能,并讨论多个RPs机制的开销问题。分析了 PIM-SM实现细 节和组播技术的前景。

关键词: 协议独立的组播路由一稀疏模式(PIM-SM)     多会聚点(RPs)     组播    

一种不可否认协议额外增益的公平性分析 Research Articles

郭煦

《信息与电子工程前沿(英文)》 2022年 第23卷 第6期   页码 893-908 doi: 10.1631/FITEE.2100413

摘要: 由于不可否认协议的脆弱性,通信中的一方当事人往往可以规避不可否认规则,获取预期信息,从而损害另一方当事人利益,造成不良影响。本文利用概率模型检测技术对该协议的公平性保证进行定量研究。利用概率时间自动机对协议建模,并验证概率计算树逻辑中指定的属性,来衡量协议的公平性。此外,提出为协议相关参数选择合适值的建议,以获取一定程度的公平,从而回答了另一个问题:对于一定程度的公平性度量ε,如何指定协议参数以确保公平性?

关键词: 不可否认协议;公平性分析;概率模型检测;PRISM    

量子密码协议研究现状与未来发展

张雪,高飞,秦素娟,张平

《中国工程科学》 2022年 第24卷 第4期   页码 145-155 doi: 10.15302/J-SSCAE-2022.04.015

摘要: 一方面,协议对量子密码来说至关重要,所有密码学任务都是通过相关协来完成;另一方面,与经典密码算法和协议相比,量子密码协议的安全性大大提高,可以对抗未来量子计算的攻击。">9],它通过量子存储、纠缠交换等技术来提高纠缠态分发的距离,进而可以提升QKD的传输距离。">17];2018年,周瑶瑶等实现了一种利用光场的体束缚纠缠的QSS协议,可实现四个参与者之间的秘密共享 [ 关键词: 量子密码     协议     量子密钥分配     量子数字签名     量子保密查询    

基于动态污点分析的工业控制系统协议自动逆向工程分析 Research Articles

麻荣宽1,郑豪2,王竟亦2,汪慕峰2,魏强1,王清贤1

《信息与电子工程前沿(英文)》 2022年 第23卷 第3期   页码 351-360 doi: 10.1631/FITEE.2000709

摘要: 私有(或半私有)协议广泛应用于工业控制系统(ICS)。通过逆向工程推断协议格式对于许多网络安全应用(例如程序测试和入侵检测)具有重要意义。传统协议逆向工程方法耗时,繁琐、易出错。最近提出的自动化逆向协议方法既不能有效处理基于网络流量分析的二进制ICS协议,也不能从协议程序实现中准确提取协议字段。本文提出一个工业控制系统协议逆向工程框架(ICSPRF),旨在以更高准确度提取ICS协议字段。ICSPRF基于以下关键见解架构:消息中单个字段通常在同一执行上下文中处理,例如基本块(BBL)组。通过监视程序的执行,ICSPRF可以在执行跟踪中收集每个BBL组中处理的污染数据信息,并将它们聚类以得出协议格式。用6个开源ICS协议实现评估所提方法。对于同一指标,ICSPRF比Autoformat更准确(后者对于所有评估协议匹配率为88.5%,对二进制协议匹配率为80.0%)。

关键词: 工业控制系统(ICS);ICS协议逆向工程;动态污点分析;协议格式    

协议分析仪2Mb/s高速信令处理模块

刘志辉

《中国工程科学》 2002年 第4卷 第2期   页码 79-85

摘要:

为了满足2 Mb/s高速信令的测试要求,开发了2 Mb/s高速信令协议分析仪信令处理模块。信令处理模块分为硬件系统和软件系统两部分。介绍了开发2 Mb/s高速信令协议分析仪的意义,使用2 Mb/s高速信令链路的优势,信令处理模块的设计原理和功能。介绍嵌入式处理器和实时操作系统的相关内容。

关键词: 协议分析仪     2 Mb/s高速信令     嵌入式处理器     实时操作系统    

一种基于Chaum-Pedersen协议的欺骗可检测云存储数据共享协议 Research Papers

Xin WANG, Bo YANG, Zhe XIA, Hong-xia HOU

《信息与电子工程前沿(英文)》 2019年 第20卷 第6期   页码 787-800 doi: 10.1631/FITEE.1800066

摘要: 随着云计算技术的发展,数据可外包给云,方便用户共享。然而,用户常常担心其数据在云端的可靠性和完整性。因此,在云端提供安全的数据共享服务至关重要。本文将门限秘密共享技术和Chaum-Pedersen零知识证明相结合,提出一种可靠、安全的云数据共享方案。该方案不仅有效、灵活、语义安全,还能有效识别行为不诚实的欺骗者身份,确保合法用户解密密钥的安全。相比而言,该方案计算性能较好,尤其适合云端用户医疗保险数据保护。

关键词: 数据分享;Chaum-Pedersen证明;欺骗可检测;云储存    

使用串行外设接口协议的混沌数字加密系统及其dsPIC实现 None

Rodrigo MÉNDEZ-RAMÍREZ, Adrian ARELLANO-DELGADO, César CRUZ-HERNÁNDEZ, Fausto ABUNDIZ-PÉREZ, Rigoberto MARTÍNEZ-CLARK

《信息与电子工程前沿(英文)》 2018年 第19卷 第2期   页码 165-179 doi: 10.1631/FITEE.1601346

摘要: 当前数字通信的大规模使用需要嵌入式系统(embedded system,ES)和协议级数据加密来实现安全连接。串行外设接口(serial peripheral interface,SPI)协议被ES和集成电路制造商广泛应用于有线和无线通信等领域。提出一种应用于SPI通信协议的混沌加密和解密算法的设计及其实验实现。混沌加密算法及对应解密算法的设计基于混沌Hénon映射和两种模糊和排列方法(结合DNA序列)。考虑到对称密钥,SPI协议采用16位配置作为同步发射机和接收机。使用两个低成本dsPIC微控制器作为ES,设计结果得到实验验证。基于其数字信号处理属性,SPI数模转换器被用于处理、获取和重构机密消息。

关键词: 混沌系统;统计测试;嵌入式系统;dsPIC微控制器;串行外设接口(SPI)协议    

马尔可夫中断下停止等待自动重传请求协议的性能分析 Regular Papers-Research Articles

Dashdondov KHONGORZUL, Yong-Ki KIM, Mi-Hye KIM

《信息与电子工程前沿(英文)》 2019年 第20卷 第9期   页码 1296-1306 doi: 10.1631/FITEE.1700185

摘要: 讨论了一种使用停止等待自动重传请求协议的语音数据集成分组多路复用器的性能。假设输入数据流量经泊松过程呈指数增长,且各数据包在单时隙中传输。引入缓冲器占用概念简化分析,并发现当中断信号通过马尔可夫过程给出时,使用停止等待自动重传请求协议的数据多路复用器表现出排队延迟和缓冲行为。仿真结果验证了分析结果的有效性。

关键词: 自动重传请求协议;马尔可夫中断;泊松分布;缓冲器占用;等待时间    

一种新型的有向拓扑条件下普通线性智能体系统的一致性协议 Article

Hao-liang LI, Ren-nong YANG, Qiu-ni LI

《信息与电子工程前沿(英文)》 2017年 第18卷 第8期   页码 1071-1081 doi: 10.1631/FITEE.1601422

摘要: 本文研究了普通线性智能体系统在有向拓扑条件下的一致性问题。首先基于分布式PID(Proportional-integral-derivative)控制提出了一种新的一致性协议,然后通过变量转换将一致性问题转变为一个渐进稳定问题,通过状态投影方法给出了系统实现一致性的充分必要条件和一致性函数的显示表达式,然后构建Lyapunov函数,基于线性矩阵不等式(Linear matrix inequality, LMI)给出了一致性协议中增益矩阵的范围,最后通过两组实验来验证这种方法的优势。

关键词: 智能体;一致性;PID(Proportional-integral-derivative)控制;线性矩阵不等式    

基于一致性哈希算法的低能耗共识协议 Research Article

Lei Yu, Xiao-fang Zhao, Yan Jin, Heng-yi Cai, Bo Wei, Bin Hu,yulei@ncic.ac.cn

《信息与电子工程前沿(英文)》 2019年 第20卷 第10期   页码 1361-1377 doi: 10.1631/FITEE.1800119

摘要: 当前区块链共识协议在去中心化、安全性和能耗方面存在“三难”优化困境。针对这个问题,基于一致性哈希算法,设计了两个新的区块链共识协议,分别为CHB-consensus和CHBD-consensus。在新的共识协议下,诚实的“矿工”可以公平地获得创建新区块的机会。在创建新块时,诚实矿工不再需要付出海量竞争性算力,且该新区块可获取整个区块链网络公平验证及确认共识协议

关键词: 区块链;共识协议;一致性哈希;低能耗;去中心化    

一种基于轨迹动力学的任务导向型飞行自组网赛博物理路由协议 Article

胡蝶, 杨少石, 龚旻, 冯志勇, 祝学军

《工程(英文)》 2022年 第19卷 第12期   页码 217-227 doi: 10.1016/j.eng.2021.10.022

摘要: 路由协议在FANET中起着关键作用。但是,在为FANET设计路由协议时,通常假设空中节点随机移动。这对于以任务为导向的FANET(MO-FANET)显然是不合适的。本文提出了一种基于跨学科集成的新型赛博物理路由协议,基于MOFANET的特定移动模式,充分利用由任务决定的轨迹动力学模型,构建节点重新加入网络和互相分离的时间序列,并将其与每个节点的邻接矩阵一起作为先验信息通过大量符合真实情况的NS-3 仿真试验,结果表明,与FANET中使用的现有代表性路由协议相比,本文提出的协议在保证更低的开销和更低的平均端到端延迟的同时,保持了相对适度和稳定的网络时延抖动,并实现了更高的数据包传输率

关键词: 信息物理系统     飞行自组网     路由协议     轨迹动力学     无人机    

标题 作者 时间 类型 操作

基于IP骨干网的虚拟专用网理论与实现

李秀忠

期刊论文

微观移动协议主动切换机制研究

赵阿群

期刊论文

EAP-FAST在公共无线局域网安全接入控制中的研究及实现

曹萍,裴文江

期刊论文

基于重放分析的网络协议软件状态变量自动化发现技术

黄见欣1,喻波1,刘润昊1,苏金树1,2

期刊论文

IP组播路由协议的研究与实现

李炜

期刊论文

一种不可否认协议额外增益的公平性分析

郭煦

期刊论文

量子密码协议研究现状与未来发展

张雪,高飞,秦素娟,张平

期刊论文

基于动态污点分析的工业控制系统协议自动逆向工程分析

麻荣宽1,郑豪2,王竟亦2,汪慕峰2,魏强1,王清贤1

期刊论文

协议分析仪2Mb/s高速信令处理模块

刘志辉

期刊论文

一种基于Chaum-Pedersen协议的欺骗可检测云存储数据共享协议

Xin WANG, Bo YANG, Zhe XIA, Hong-xia HOU

期刊论文

使用串行外设接口协议的混沌数字加密系统及其dsPIC实现

Rodrigo MÉNDEZ-RAMÍREZ, Adrian ARELLANO-DELGADO, César CRUZ-HERNÁNDEZ, Fausto ABUNDIZ-PÉREZ, Rigoberto MARTÍNEZ-CLARK

期刊论文

马尔可夫中断下停止等待自动重传请求协议的性能分析

Dashdondov KHONGORZUL, Yong-Ki KIM, Mi-Hye KIM

期刊论文

一种新型的有向拓扑条件下普通线性智能体系统的一致性协议

Hao-liang LI, Ren-nong YANG, Qiu-ni LI

期刊论文

基于一致性哈希算法的低能耗共识协议

Lei Yu, Xiao-fang Zhao, Yan Jin, Heng-yi Cai, Bo Wei, Bin Hu,yulei@ncic.ac.cn

期刊论文

一种基于轨迹动力学的任务导向型飞行自组网赛博物理路由协议

胡蝶, 杨少石, 龚旻, 冯志勇, 祝学军

期刊论文