Search | Engineering

订阅投稿

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

资源类型

期刊论文 2061

会议视频 87

会议信息 29

年份

2024 8

2023 248

2022 260

2021 302

2020 155

2019 123

2018 106

2017 112

2016 96

2015 70

2014 68

2013 60

2012 41

2011 51

2010 74

2009 51

2008 40

2007 64

2006 30

2005 36

展开︾

关键词

颠覆性技术 33

食物安全 12

安全 11

稳定性 11

可靠性 9

可持续性 8

安全性 8

能源 8

2020 7

SARS-CoV-2 7

不确定性 7

战略性新兴产业 7

能源安全 7

COVID-19 6

农业科学 6

可持续发展 6

碳中和 6

质量安全 6

工程管理 5

展开︾

检索范围：

排序：展示方式：

抗泄露的CCA2安全的无证书公钥加密机制 None

Yan-wei ZHOU, Bo YANG, Hao CHENG, Qing-long WANG

《信息与电子工程前沿（英文）》 2018年第19卷第4期页码 481-493 doi: 10.1631/FITEE.1601849

摘要：近年来，存在密钥泄露环境下密码学机制的安全性成为该领域研究热点，一些能够抵抗泄露攻击的密码学原语相继被提出。由于现有相关构造中，抗泄露密码学原语无法保证其输出对于任意多项式时间敌手完全随机，因此敌手能够从相应抗泄露密码学原语的输出中获知密钥部分信息。为获得更佳性能，提出一个抗泄露的CCA2安全的无证书公钥加密机制，基于经典的判定性Diffie-Hellman假设证明了该方案的安全性。分析显示，对于任意敌手，该方案输出均完全随机，使得敌手无法从给出的密文中获知密钥相关信息；此外，该方案具有较高泄露率。由于这些良好特性，该方案在实际应用中具有广泛应用前景。

关键词：证书公钥加密；泄露容忍；可证安全性；CCA2安全性；判定性Diffie-Hellman假设

HTML PDF 收藏

不依赖双线性对的带关键字搜索的无证书公钥加密方案构造 Research Articles

Yang LU, Ji-guo LI

《信息与电子工程前沿（英文）》 2019年第20卷第8期页码 1049-1060 doi: 10.1631/FITEE.1700534

摘要：可搜索公钥加密使存储服务器在未知数据内容时能对其存储的加密数据进行搜索，这为加密数据存储系统检索密文提供一种非常理想的解决方法。无证书公钥密码体制是一种具有许多优点的新型密码学原语，它不仅克服了基于身份密码体制中的密钥托管问题，而且避免了传统公钥密码体制中复杂的证书管理问题。目前文献中已有3个带关键字搜索的无证书公钥加密方案。针对这一问题，我们设计了一个不依赖双线性对的带关键字搜索的无证书公钥加密方案。基于计算性Diffie-Hellman问题的困难性假设，我们证明所提出方案在随机预言模型中满足适应性选择关键字攻击下的密文不可区分安全性。效率对比和仿真实验表明，该方案具有更好性能。

关键词：可搜索公钥加密；带关键字搜索的无证书公钥加密；双线性对；计算性Diffie-Hellman问题

HTML PDF 收藏

低计算复杂度的无证书混合签密方案 Article

Hui-fang YU, Bo YANG

《信息与电子工程前沿（英文）》 2017年第18卷第7期页码 928-940 doi: 10.1631/FITEE.1601054

摘要：本文将无证书混合签密技术应用于椭圆曲线密码系统，构造了一个低计算复杂度的无证书混合签密方案。随机预言模型下，该方案在ECCDH （elliptic-curve computation diffie-Hellman）被证明具有IND-CCA2 （indistinguishability againstadaptive chosen-ciphertext attacks）安全性，而且在ECDL （elliptic-curve discrete logarithm）假设下具有sUF-CMA （strongexistential unforgeability against adaptive chosen-message attacks）安全性。

关键词：混合签密；标量乘；无证书密码系统；可证安全性

HTML PDF 收藏

802.11i认证协议可验安全性形式化分析

宋宇波,胡爱群,姚冰心

《中国工程科学》 2010年第12卷第1期页码 67-73

摘要：

IEEE 802.11标准组提出了802.11i标准以增强无线局域网的安全性能。针对802.1X认证协议的三方交互结构提出一种扩展Bellare-Rogaway模型，对802.11i认证和密钥交换机制进行可验安全性分析。

关键词： 802.11i Bellare-Rogaway模型可验安全性形式化分析

HTML PDF 收藏

一个格上不经意传输协议的量子安全性分析 Article

Mo-meng LIU, Juliane KRÄMER, Yu-pu HU, Johannes BUCHMANN

《信息与电子工程前沿（英文）》 2017年第18卷第9期页码 1348-1369 doi: 10.1631/FITEE.1700039

摘要：不经意传输协议（oblivious transfer, OT）因其简易的密码功能广泛应用于安全多方计算。以往OT协议都是基于传统数论问题（例如，离散对数，大数分解问题）所构造的，随着量子计算技术的发展，基于传统困难问题的OT协议安全性受到极大的威胁。然而，大多数后量子密码构造只在假设传统敌手存在的环境下证明其方案安全性。在本文中，我们在量子敌手存在的环境下，证明一个基于格公钥密码的OT协议（[PVW08]）的安全性。首先我们使用量子平移定理（[Unr10]）证明该协议的安全性可以完全平移到量子环境中，此外，我们还使用其他两个专用于分析后量子密码原语的分析模型（[HSS11]，[Son14]）从不同的角度对该协议进行安全性分析，从而保证我们给出的量子安全证明的正确性。

关键词：不经意传输；后量子；格公钥；带差错学习；通用可复合

HTML PDF 收藏

增值税防伪税控系统及其安全性设计

魏庆福

《中国工程科学》 2000年第2卷第11期页码 84-87

摘要：为此，采用了一整套安全性设计技术，按照系统的安全模型，从核心硬件、密码算法、密钥管理、设备连接通道、运行环境、信息记录与审计、业务功能以及管理诸方面层层设防，综合治理。

关键词：增值税防伪密码安全性

HTML PDF 收藏

CAESAR竞赛认证加密算法设计分析与安全性评估进展 None

Fan ZHANG, Zi-yuan LIANG, Bo-lin YANG, Xin-jie ZHAO, Shi-ze GUO, Kui REN

《信息与电子工程前沿（英文）》 2018年第19卷第12期页码 1475-1499 doi: 10.1631/FITEE.1800576

摘要： CAESAR竞赛是2013年由美国国家标准与技术研究院（NIST）资助的认证加密算法征集竞赛，旨在征集综合性能和安全性优于AES-GCM的认证加密算法，能够同时实现完整性和机密性。本文首先介绍CAESAR竞赛候选算法的设计要求和筛选进展，然后从设计结构和加密模式两方面对最后一轮候选算法进行归类，之后综述了候选算法的综合性能与安全性分析进展，最后探讨了认证加密算法的设计和分析研究趋势

关键词： CAESAR竞赛；认证加密算法；分组密码；序列密码；哈希函数；安全性评估

HTML PDF 收藏

量子通信的前沿、理论与实践

王向斌

《中国工程科学》 2018年第20卷第6期页码 87-92 doi: 10.15302/J-SSCAE-2018.06.014

摘要：量子密钥分发可为通信双方提供无条件安全的密钥分发方式，其理论安全性由量子力学规律保证。量子密钥分发因其无条件安全的特点受到广泛关注。本文通过对量子密钥分发的广泛调研，系统地介绍了量子密钥分发的主要内容、理论安全性证明现状和实际安全性证明现状，着重介绍了诱骗态方法和测量装置无关的量子密钥分发方案；同时针对量子密钥分发在信道衰减严重时面临的问题做了系统调研

关键词：量子密钥分发无条件安全性现实条件安全性纠缠分发量子中继

HTML PDF 收藏

水库大坝的安全问题和已建大坝的抗震安全性

Martin Wieland

《工程（英文）》 2016年第2卷第3期页码 325-331 doi: 10.1016/J.ENG.2016.03.011

摘要：

对任何蓄水大坝工程的基本性能要求都是安全性，它包括以下安全要素：①结构安全性；②大坝安全监控；③运行安全和维护；④应急计划。长期安全包括：首先，分析影响项目的所有灾害，即自然环境灾害、人造环境灾害、特定项目和特定场地灾害。本文讨论的是大坝地震安全的特点。大坝是自20 世纪30 年代以来最早开始进行系统性抗震结构设计的建筑物，但由于多数大坝设计采用的是现今认为已过时的地震设计标准和动态分析方法，因此无法了解那些老坝的地震安全性。因此，需要基于当前最新做法，重新评估已建坝的地震安全性，并改造有缺陷的大坝。通常建议对大坝进行特定场地的地震危险性分析。当前的大坝以及用于控制强震后水库安全的设施必须能承受安全评估地震的地面运动。地震动参数可以利用概率或确定性地震危险性分析确定。强震作用下，大坝可能发生非弹性变形，因此需要在时域内进行地震分析。此外，地震对大坝造成的危害包括地面震动、断层移动、块体移动等。

关键词：大坝抗震设计地震安全性已建坝设计标准地震灾害可持续性使用寿命

HTML PDF 收藏

高面板堆石坝安全性研究技术进展

马洪琪,迟福东

《工程（英文）》 2016年第2卷第3期页码 332-339 doi: 10.1016/J.ENG.2016.03.010

摘要：

混凝土面板堆石坝直接利用当地材料，适应性强，经济优势明显，是西部地区一批拟建高坝的重点比选坝型。本文分析了中国及世界上主要200 m 级高面板堆石坝的成功经验及暴露的主要问题，论述了250~300 m 级超高面板堆石坝安全建设面临的主要技术问题和研究取得的最新进展，并提出了今后的研究重点和思路。

关键词：高面板堆石坝安全性技术进展

HTML PDF 收藏

兽医流行病学在疾病控制、预防和农场生物安全性中的作用 Review

Ian D. Robertson

《工程（英文）》 2020年第6卷第1期页码 20-25 doi: 10.1016/j.eng.2019.10.004

摘要：讨论了生物安全在维持无病畜群中的重要性，并概述了实施良好生物安全措施的步骤。结论：在制定疾病控制策略及在农场、区域和国家层面实施生物安全规划时，需要具备良好的兽医流行病学知识。

关键词：生物安全性，疾病控制，流行病学

HTML PDF 收藏

活性炭深度处理技术的化学安全性及影响因素研究

陈卫,王磊磊,林涛,罗彬

《中国工程科学》 2008年第10卷第5期页码 32-37

摘要：

活性炭技术是净化微污染源水的有效手段，但其化学安全性值得关注。

关键词：饮用水活性炭化学安全性副产物藻毒素

HTML PDF 收藏

中药安全性研究——方法、应用与前景 Review

高月, 梁爱华, 范骁辉, 胡利民, 郝斐然, 李遇伯

《工程（英文）》 2019年第5卷第1期页码 76-82 doi: 10.1016/j.eng.2018.11.019

摘要：不同于化学药品和生物制剂，中药毒性和安全性研究的难点主要在于其成分的复杂性和药物- 机体相互作用的不可预测性。大多数有总体疗效的中药均具有多成分、多途径和多靶点的典型机制。考虑到中药毒性的渐进性和不可预测性、毒素和安全剂量的模糊性以及长时间中药给药的个体差异，笔者系统地建立了针对中药毒性评价的关键技术。特别地，笔者提出了一种利用分子毒理学评价中药安全性的新技术体系，该体系已经在中药配伍禁忌、质量控制和过敏原发现等研究中得到了很好的验证。

关键词：中药安全性方法和技术平台毒性机制

HTML PDF 收藏

安全性第一准则下的组合贷款模型

唐万生,严维真,宁玉富

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

摘要：经数值仿真，验证了算法的可行性。

关键词：组合贷款安全性第一准则随机模拟遗传算法同步扰动随机逼近

HTML PDF 收藏

HPR1000：具备能动与非能动安全性的先进压水堆 Review

邢继,宋代勇,吴宇翔

《工程（英文）》 2016年第2卷第1期页码 79-87 doi: 10.1016/J.ENG.2016.01.017

摘要：

HPR1000是具有能动与非能动安全性的先进核电站。它是基于现有压水堆核电站成熟技术的渐进式设计，融合了包括采用177组CF3先进燃料组件的堆芯能动与非能动安全系统、全面的严重事故预防与缓解措施、强化的外部事件防护能力和改进的应急响应能力在内的先进设计特征HPR1000的设计满足国际上对先进轻水堆的用户要求以及最新的核安全要求，并且考虑了福岛事故的经验反馈。基于其出色的安全性与经济性，HPR1000为国内与国际核电市场提供了卓越可行的解决方案。

关键词： HPR1000 能动与非能动安全性先进核动力堆(先进压水堆)