Search | Engineering

订阅投稿

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

资源类型

期刊论文 572

年份

2024 1

2023 71

2022 66

2021 43

2020 35

2019 38

2018 25

2017 42

2016 18

2015 33

2014 13

2013 13

2012 8

2011 15

2010 11

2009 7

2008 7

2007 15

2006 10

2005 15

展开︾

关键词

信息化 13

产业化 9

智能化 8

制造业 6

资源化利用 6

国际化 5

COVID-19 4

中药 4

可视化 4

可视化仿真 4

固体废物 4

工业化 4

智能制造 4

标准化 4

现代化 4

糖基化 4

N-糖基化 3

中国 3

中国制造 3

展开︾

检索范围：

排序：展示方式：

拟态防御技术结合软件多样化在软件安全产业中的应用

庞建民,张宇嘉,张铮、邬江兴

《中国工程科学》 2016年第18卷第6期页码 74-78 doi: 10.15302/J-SSCAE-2016.06.015

摘要：

随着互联网的飞速发展，计算机软件全球化的进程不断推进。大量相同软件安装在数以万计的计算机中，容易导致黑客利用软件的漏洞，攻击安装了该软件的所有计算机。软件多样化技术可以使这种情况得到缓解，但其并没有从根本上消除漏洞带来的威胁。本文提出将拟态防御技术与软件多样化技术相结合应用于软件安全产业，可以消除漏洞带来的威胁。

关键词：软件多样化拟态防御软件安全产业

HTML PDF 收藏

智联计算网络技术发展研究

李丹,胡宇翔,潘恒,张建辉,邬江兴

《中国工程科学》 2023年第25卷第6期页码 39-48 doi: 10.15302/J-SSCAE-2023.06.014

摘要：本文分析了现有信息网络技术面临的挑战，提炼出网络与计算融合发展的主要趋势；论证形成我国自主创新的智联计算网络核心架构，精准阐明智联计算网络的发展目标与预期效益；深入剖析智联计算网络技术发展路线，涵盖多样化协议支撑、“网 ‒ 算 ‒ 存”一体化控制、服务功能智能编排、内生安全构造等智联计算网络关键技术布局，智慧园区网络场景、垂直行业网络场景、数据中心网络场景等智联计算网络示范应用。

关键词：智联计算网络；多样化协议；“网 ‒ 算 ‒ 存”一体化；服务功能智能编排；内生安全

HTML PDF 收藏

我国天地一体化航天互联网构想

沈荣骏

《中国工程科学》 2006年第8卷第10期页码 19-30

摘要：

地面互联网技术的快速发展以及航天任务的复杂性不断提高，产生了将互联网扩展到空间、建立天地一体化航天互联网的强烈需求，并提供了实现的技术可能性。探讨了我国航天任务中存在的不同卫星天地协议不统一、航天任务数据不能共享、资源综合利用率低等问题，分析了对未来任务的需求，阐述了建设我国天地一体化航天互联网的重要意义；介绍了国外航天互联网发展状况；提出了我国天地一体化航天互联网的总体目标、组成、网络体系结构及网络协议的初步构想；分析了需要突破的关键技术；最后提出了发展步骤建议。

关键词：一体化航天互联网体系结构网络协议发展步骤

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

气候变化对陆地生物多样性影响研究的若干进展

吴建国

《中国工程科学》 2008年第10卷第7期页码 60-68

摘要：

气候变化对生物多样性影响的研究日益受到重视。文章总结了有关气候变化对基因多样性、物种多样性和生态系统多样性影响研究的趋势，并对存在的问题进行了讨论。目前，气候变化对生物多样性影响的研究总体上还不深入，研究需要加强。

关键词：气候变化生物多样性影响

HTML PDF 收藏

基于一致性哈希算法的低能耗共识协议 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。在新的共识协议下，诚实的“矿工”可以公平地获得创建新区块的机会。在创建新块时，诚实矿工不再需要付出海量竞争性算力，且该新区块可获取整个区块链网络公平验证及确认共识协议。由CHB-consensus和CHBD-consensus共识形成的区块链网络基于与比特币系统相同的安全性假设，在节省海量电力的同时，不会牺牲去中心化和安全性。

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

HTML PDF 收藏

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

赵阿群

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

摘要：

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

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

HTML PDF 收藏

一种新型多样野值鲁棒卡尔曼滤波器 Research Articles

黄玉龙,柏明明,张勇刚

《信息与电子工程前沿（英文）》 2022年第23卷第3期页码 422-437 doi: 10.1631/FITEE.2000642

摘要：针对线性离散随机系统，提出一种新型多样野值鲁棒卡尔曼滤波器（MORKF）。首先提出一种新的多重统计相似度来衡量两个随机向量各维度之间的相似性。

关键词：卡尔曼滤波；多重统计相似度量；多样野值；定点迭代；状态估计

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

摘要：着眼未来应用，针对数字签名、两方安全计算问题的实用化量子协议是亟需解决的核心问题。

综上，由于QPQ协议只需要使用与BB84协议相同的光源和探测器就可以实现，纠错和隐私放大理论较完善，因而具有很好的实用化潜力。因此，分别设计具有实用化潜力的量子数字签名协议、能跨过no-go定理的两方安全计算协议也是一种解决思路。

（4）量子 ‒ 经典相结合的密码新体系。也就是说，系统整体使用量子 ‒ 经典相结合的密码体制，比如密钥分配用量子的，而数字签名（因为没有实用化的量子协议）用经典的。由于目前实用化的量子密码协议还很少，在应用中可以优先考虑功能较少的专用网络。以后随着实用量子密码协议和与之相适配的经典密码技术日趋完善，量子密码将可能有广阔的应用空间。

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

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 收藏

协议分析仪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 收藏

标题作者时间类型操作

拟态防御技术结合软件多样化在软件安全产业中的应用

庞建民,张宇嘉,张铮、邬江兴

期刊论文

智联计算网络技术发展研究

李丹,胡宇翔,潘恒,张建辉,邬江兴

期刊论文

我国天地一体化航天互联网构想

沈荣骏

期刊论文