Search | Engineering

订阅投稿

首页工程期刊工程焦点工程成就工程前沿关于我们 English

资源类型

期刊论文 118

年份

2023 15

2022 16

2021 7

2020 9

2019 11

2018 5

2017 9

2016 3

2015 1

2014 1

2013 2

2012 2

2010 3

2009 1

2008 2

2007 6

2006 2

2005 3

2004 4

2003 2

展开︾

关键词

交通基础设施 2

元胞自动机模型 2

性能化设计 2

智能制造 2

系统集成 2

自动控制 2

自动驾驶 2

2 Mb/s高速信令 1

802.11i 1

Bellare-Rogaway模型 1

CCD 1

CIMS 1

Car-to-X 通信系统 1

LK算法 1

QCA）；可逆逻辑；DG门；二进制减法器；量子成本 1

agent迁移协议 1

agent通信语言 1

k-最近邻分类 1

一体化航天互联网 1

展开︾

检索范围：

排序：展示方式：

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

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

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

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

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

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

基于动态污点分析的工业控制系统协议自动逆向工程分析 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协议逆向工程；动态污点分析；协议格式

HTML PDF 收藏

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

赵阿群

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

摘要：

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

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

HTML PDF 收藏

自动驾驶地图有关政策的思考和建议

刘经南,董杨,詹骄,高柯夫

《中国工程科学》 2019年第21卷第3期页码 92-97 doi: 10.15302/J-SSCAE-2019.03.004

摘要：

自动驾驶地图作为实现汽车自动驾驶的关键基础设施，对于推动我国自动驾驶领域的商业化开发至关重要。现阶段，我国受地图测绘、应用和监管等相关法律法规的制度掣肘，在自动驾驶地图的产业化进程方面相对滞后。为此，本文着重分析了我国在自动驾驶地图开发、应用和管理中面临的主要政策法规问题：自动驾驶地图是否需加密的问题、自动驾驶地图部分地理信息表达受限的问题、自动驾驶地图地理信息采集资质和审图流程的问题、自动驾驶地图事故责任和保险问题、自动驾驶地图相关测试规范和测试场景问题。同时结合国内外自动驾驶领域的发展趋势，给出加快我国自动驾驶汽车开发和商业化进程的四点建议：制定自动驾驶地图管理模式、允许自动驾驶地图应用试点及有序开放、适当放开企业权限及优化审核流程、建立国家级自动驾驶地图平台

关键词：自动驾驶地图自动驾驶法规自动驾驶政策

HTML PDF 收藏

自适应自动程序设计及其在自动售货机中的应用

余世明,丁国正,刘立峰

《中国工程科学》 2007年第9卷第11期页码 147-150

摘要：针对自动处理的实现，提出了采用组合编码和状态冗余设计相结合的自动程序设计思想，给出了它的一个结构模型和算法。模型通过减少程序的状态切换故障（预防）和增加系统的故障恢复能力（治疗）来实现这个目标。最后，将这个设计模型部分成功地应用到自动售货机上，实际运行效果良好。

关键词：自适应状态冗余设计自动程序设计故障恢复自动售货机

HTML PDF 收藏

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

曹萍,裴文江

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

摘要：

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

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

HTML PDF 收藏

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

李炜

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

摘要：

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

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

HTML PDF 收藏

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

郭煦

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

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

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

HTML PDF 收藏

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

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

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

摘要：分析表明，当前量子密码协议研究处于“量子密钥分配协议遥遥领先、其他协议有待突破”的不平衡状态，也是“其他协议难以突破”的瓶颈状态。需要说明的是，经典密码通常在密码算法的基础上构建可完成各种密码学任务的协议，而量子密码往往直接利用量子性质来设计类似协议。因此，相比于算法，协议是量子密码中的主要研究内容。一方面，协议对量子密码来说至关重要，所有密码学任务都是通过相关协议来完成；另一方面，与经典密码算法和协议相比，量子密码协议的安全性大大提高，可以对抗未来量子计算的攻击。根据掷币协议的参与方对掷币结果是否有固定的喜好，可将掷币协议分为强掷币协议和弱掷币协议。这可能正是我们照搬经典密码协议目标来设计量子密码协议时遇到瓶颈的原因。

关键词：量子密码协议量子密钥分配量子数字签名量子保密查询

HTML PDF 收藏

基于模糊状态描述的不确定因果归纳自动推理机制

杨炳儒,唐菁

《中国工程科学》 2000年第2卷第5期页码 44-50

摘要：

文中提出基于模糊语言场和模糊语言结构的知识表示新型框架，并提出能够综合处理模糊不确定性与随机不确定性的广义细胞自动机和广义归纳逻辑因果模型。在此基础上，又提出基于模糊状态描述的新型不确定因果归纳自动推理机制，并讨论其在智能控制器研制中的应用。

关键词：语言场语言值结构广义细胞自动机广义归纳逻辑因果模型自动推理智能控制器

HTML PDF 收藏

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

刘志辉

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

摘要：

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

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

HTML PDF 收藏

一种基于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证明；欺骗可检测；云储存

HTML PDF 收藏

流程工业综合自动化的探讨与思考

黄道,李光华

《中国工程科学》 2000年第2卷第12期页码 52-58

摘要：

工业自动化的快速发展给化工企业实施综合自动化创造了良好的基础条件，文章提出了流程工业企业综合自动化的三层框架式结构，并在概念上对其进行了描述，对实施综合自动化过程中必须重视的关键问题进行了讨论。根据在实际化工企业实施综合自动化过程中的体会，简介了一项工程实例。

关键词：流程工业 CIMS 综合自动化产品数据管理（PDM）

HTML PDF 收藏

使用串行外设接口协议的混沌数字加密系统及其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）协议

HTML PDF 收藏

标题作者时间类型操作

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

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

期刊论文

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

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

期刊论文

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

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

期刊论文