期刊文献+
共找到1,061篇文章
< 1 2 54 >
每页显示 20 50 100
面向无线体域网的轻量级PUF认证协议
1
作者 陈金木 黄朝阳 《武夷学院学报》 2025年第6期17-24,共8页
无线体域网(WBAN)在医疗健康监测等领域应用广泛,但其设备资源受限,传统认证协议难以满足其需求。提出一种基于物理不可克隆函数(PUF)的轻量级认证协议,以提升WBAN的安全性和能效。该协议利用PUF的唯一性和不可克隆性,实现了高效的身份... 无线体域网(WBAN)在医疗健康监测等领域应用广泛,但其设备资源受限,传统认证协议难以满足其需求。提出一种基于物理不可克隆函数(PUF)的轻量级认证协议,以提升WBAN的安全性和能效。该协议利用PUF的唯一性和不可克隆性,实现了高效的身份认证和数据完整性验证,有效防止重放攻击和伪造攻击。通过形式化验证和仿真实验,对协议的安全性和性能进行了评估。实验结果表明,该协议在保证安全性的同时,显著降低了计算和通信开销,适用于资源受限的WBAN环境。 展开更多
关键词 无线体域网(WBAN) 物理不可克隆函数(puf) 轻量级认证协议 安全性
在线阅读 下载PDF
基于PUF的轻量级双向身份认证密钥协商协议
2
作者 黄朝阳 陈金木 陈少英 《沈阳工程学院学报(自然科学版)》 2025年第2期68-77,共10页
为解决移动边缘计算环境下智能家居设备在信息传输过程中的网络攻击和个人信息泄露问题,提出一种轻量级的双向身份认证密钥协商协议来匹配资源受限的环境。该认证协议引入高熵随机数,糅合PUF技术、哈希函数和生物特征认证等多种安全认... 为解决移动边缘计算环境下智能家居设备在信息传输过程中的网络攻击和个人信息泄露问题,提出一种轻量级的双向身份认证密钥协商协议来匹配资源受限的环境。该认证协议引入高熵随机数,糅合PUF技术、哈希函数和生物特征认证等多种安全认证要素,在双向认证及密钥协商过程中采用挑战/应答的三次握手。经BAN逻辑分析和第三方的评估指标分析,证明该认证协议的安全性能。该协议实现双向认证所需通信带宽约为1 280 bits,通信总轮数为3次,期间仅需执行1次PUF、1次Gen、2次Rep和22次哈希运算。与其他相关认证协议相比较,该协议展现出更好的安全性和更高的效率。 展开更多
关键词 puf 哈希函数 生物特征认证 密钥协商 双向认证
在线阅读 下载PDF
MS PUF:抗机器学习建模攻击的多维协同强PUF设计
3
作者 左欣怡 马双宝 +3 位作者 李少青 王振宇 刘威 张洋 《计算机工程》 北大核心 2025年第8期62-73,共12页
物理不可克隆函数(PUF)在资源受限的信息安全领域起着至关重要的作用,然而广泛使用的仲裁器PUF(APUF)及其变体因结构简单和防御维度单一,面临机器学习建模攻击的威胁,同时具有高防御能力的PUF设计通常伴随着较高的硬件成本。为应对这些... 物理不可克隆函数(PUF)在资源受限的信息安全领域起着至关重要的作用,然而广泛使用的仲裁器PUF(APUF)及其变体因结构简单和防御维度单一,面临机器学习建模攻击的威胁,同时具有高防御能力的PUF设计通常伴随着较高的硬件成本。为应对这些挑战,提出一种新型的多维协同PUF(MS PUF)设计,旨在平衡强大的抗建模攻击能力和低硬件开销。该设计以APUF为基础,融合了弱PUF、线性反馈移位寄存器(LFSR)和多路复用器(MUX),通过异或操作混淆输入信号并动态控制MUX输出,增强了PUF响应的安全性和不可预测性。在此设计中,MUX的输出有两种选择:一是直接采用弱PUF序列,二是通过分组异或处理并采用由弱PUF初始化的LFSR生成的序列。此外,MS PUF通过引入逐层异或混淆机制,构筑了一个多层次、多维度的协同安全防御策略。实验结果表明,MS PUF在均匀性、唯一性和可靠性等关键性能指标上表现优异,且硬件开销低,在防御逻辑回归(LR)、支持向量机(SVM)、人工神经网络(ANN)、卷积神经网络(CNN)以及全连接长短时记忆(FC-LSTM)网络等多种机器学习建模攻击时,MS PUF的预测准确率均接近50%,展示了出色的防御能力。 展开更多
关键词 仲裁器物理不可克隆函数 机器学习建模攻击 硬件开销 多维协同puf 逐层异或混淆机制
在线阅读 下载PDF
基于DMCM-APUF的抗建模攻击轻量级认证协议分析与设计
4
作者 孔德涵 范文兵 +2 位作者 常正泰 艾璐琳 李中喜 《计算机应用与软件》 北大核心 2025年第5期365-371,共7页
针对物联网设备认证过程中存在抗建模攻击能力与认证协议开销的平衡问题,提出一种基于DMCM-APUF(Dual Mode Configurable Mixer Arbiter Physical Unclonable Function)的抗建模攻击轻量级认证协议。利用DMCM的混淆模式(DMCM-O)对原始... 针对物联网设备认证过程中存在抗建模攻击能力与认证协议开销的平衡问题,提出一种基于DMCM-APUF(Dual Mode Configurable Mixer Arbiter Physical Unclonable Function)的抗建模攻击轻量级认证协议。利用DMCM的混淆模式(DMCM-O)对原始激励响应进行混淆以提高APUF的抗建模攻击能力;利用DMCM的加密模式(DMCM-E)对认证信息进行加解密以实现对称加密。对DMCM-APUF进行数学建模,在DMCM-O模式下进行抗攻击分析,在DMCM-E模式下进行安全分析。实验结果表明,该认证协议具有良好的抗建模攻击能力,且节约了硬件开销。 展开更多
关键词 puf 建模攻击 DMCM 认证协议
在线阅读 下载PDF
基于交叉耦合结构的低开销高安全性PUF电路
5
作者 汪鹏君 任明泽 +1 位作者 陈博 胡双 《电子与信息学报》 北大核心 2025年第9期3093-3103,共11页
物理不可克隆函数(PUF)作为芯片的唯一身份标识,在资源受限的物联网设备中应用前景广阔,但面临着硬件成本过高和其自身易受攻击而导致安全性不足的问题。该文基于双稳态电路的物理特性,提出一种交叉耦合结构的低开销、高安全性强PUF电... 物理不可克隆函数(PUF)作为芯片的唯一身份标识,在资源受限的物联网设备中应用前景广阔,但面临着硬件成本过高和其自身易受攻击而导致安全性不足的问题。该文基于双稳态电路的物理特性,提出一种交叉耦合结构的低开销、高安全性强PUF电路。首先,同时激活多个双稳态单元字线,指数级提升激励响应对数量;然后,利用异或树结构混淆多路PUF,提高PUF均匀性与抗攻击能力;最后,利用Virtuoso软件在TSMC 28 nm工艺下仿真验证,并分析其抗机器学习攻击能力与统计特性。实验结果表明,当机器学习训练集激励响应对数量达104时,逻辑回归、支持向量机、人工神经网络等经典机器学习算法预测率均接近50%的随机猜测,且PUF电路的随机性、唯一性和可靠性等性能均表现良好,硬件开销低于传统仲裁器PUF(APUF),适合应用在低成本的物联网设备认证场景。 展开更多
关键词 交叉耦合结构 机器学习 高安全性 puf
在线阅读 下载PDF
基于PUF的物联网轻量级群组认证方案
6
作者 张龙图 孙连山 祝旭 《软件工程》 2025年第7期20-24,共5页
针对物联网节点之间经过开放信道进行信息交互会遭受篡改、重放和物理克隆攻击的问题,提出一种结合物理不可克隆函数(Physical Unclonable Functions,PUF)和异步棘轮树(Asynchronous Ratchet Trees,ART)的群组认证方案。每个物联网节点... 针对物联网节点之间经过开放信道进行信息交互会遭受篡改、重放和物理克隆攻击的问题,提出一种结合物理不可克隆函数(Physical Unclonable Functions,PUF)和异步棘轮树(Asynchronous Ratchet Trees,ART)的群组认证方案。每个物联网节点利用自身的物理不可克隆函数产生挑战-响应对来保障群组认证的安全性,使群组可以应对各种恶意的物理攻击;同时,利用异步棘轮树协议部署群组密钥,使物联网各节点可以对群组密钥进行异步计算和更新。与目前常见的物联网群组认证方案相比,在保障了系统安全性的同时,也降低了计算和通信开销。 展开更多
关键词 群组认证 puf 物联网 轻量级
在线阅读 下载PDF
一种基于PUF的远程医疗身份认证与密钥协商协议
7
作者 王雄 王文博 +3 位作者 刘昂 许盛伟 王志强 张泽昊 《信息安全研究》 北大核心 2025年第7期626-635,共10页
远程医疗以服务效率高和良好的就医体验得到快速发展,但医疗数据的安全传输问题是迫切需要解决的难点.虽然目前存在大量远程医疗环境中的身份认证与密钥协商协议,但一些协议存在安全隐患和低效率等.针对现有问题,提出了一种基于PUF的身... 远程医疗以服务效率高和良好的就医体验得到快速发展,但医疗数据的安全传输问题是迫切需要解决的难点.虽然目前存在大量远程医疗环境中的身份认证与密钥协商协议,但一些协议存在安全隐患和低效率等.针对现有问题,提出了一种基于PUF的身份认证与密钥协商协议.该协议利用可信网关实现多对多的认证与密钥协商机制,利用PUF函数生成“设备指纹”标识其唯一性,利用ECC算法保证数据的机密性.在随机预言模型下证明了会话密钥的语义安全,ProVerif仿真工具验证了协议的机密性与认证性,非形式化分析证明了协议可以抵抗离线口令猜测、会话密钥泄露等常见的攻击.与相关协议在计算开销、存储开销、通信开销和安全性的对比结果表明,该协议具有一定的可行性和优势. 展开更多
关键词 puf 身份认证 密钥协商 ProVerif 远程医疗
在线阅读 下载PDF
多网关无线医疗传感器网络中基于PUF的轻量级匿名认证协议
8
作者 王雄 李伟麟 +2 位作者 张泽昊 胡子宸 安星宇 《计算机应用研究》 北大核心 2025年第10期3152-3158,共7页
针对当前多网关无线医疗传感器网络跨域认证计算开销大、通信成本高以及无线医疗传感器资源受限、易受攻击等问题,提出了一种面向多网关无线医疗传感器网络的轻量级匿名认证协议。该协议利用物理不可克隆函数(physical unclonable funct... 针对当前多网关无线医疗传感器网络跨域认证计算开销大、通信成本高以及无线医疗传感器资源受限、易受攻击等问题,提出了一种面向多网关无线医疗传感器网络的轻量级匿名认证协议。该协议利用物理不可克隆函数(physical unclonable function,PUF),实现了医疗专家通过主网关、外部网关与无线医疗传感器节点之间安全的身份认证和密钥协商。通过ROR Oracle模型、Proverif协议分析工具以及非形式化分析,证明了该协议实现了医疗专家与无线医疗传感器之间的双向认证与会话密钥协商,并且可抵抗常见攻击,具有良好的安全属性。与近几年提出的认证协议对比表明,该协议计算开销最低,优于其他协议11.79%以上。同时,对比表明,该协议具备更加全面的安全属性和良好的轻量级特性,适用于资源受限的无线医疗传感器网络。 展开更多
关键词 匿名认证协议 多网关 轻量级 物理不可克隆函数(puf) 无线医疗传感器网络
在线阅读 下载PDF
无线传感器网络中基于PUF的轻量级多网关身份认证协议
9
作者 王雄 王文博 +3 位作者 刘昂 许盛伟 李伟麟 张泽昊 《计算机应用研究》 北大核心 2025年第4期1230-1238,共9页
针对无线传感器网络中多网关身份认证协议所存在的计算效率低、缺乏安全性以及无线传感器资源受限等问题,提出了一种基于不可克隆函数(PUF)的轻量级多网关身份认证协议。该协议全部使用异或、哈希函数等轻量级运算保证加密传输和完整性... 针对无线传感器网络中多网关身份认证协议所存在的计算效率低、缺乏安全性以及无线传感器资源受限等问题,提出了一种基于不可克隆函数(PUF)的轻量级多网关身份认证协议。该协议全部使用异或、哈希函数等轻量级运算保证加密传输和完整性验证,每个设备利用PUF函数生成“设备指纹”标志其唯一性,并且通过提出的网络架构能够解决网关节点计算瓶颈和单点故障问题。其次通过随机预言模型、ProVerif协议仿真工具和非形式化安全分析,证明了所提协议满足信息传输机密性、完整性、匿名性等14种安全属性。最后在统一的性能基准下通过与近年相关协议进行分析对比,结果表明所提协议在效率、存储成本和安全属性方面具有较大的优势。 展开更多
关键词 不可克隆函数 轻量级 多网关 身份认证协议
在线阅读 下载PDF
基于PUF的雾辅助的工业物联网轻量级认证协议
10
作者 王雄 张泽昊 +1 位作者 李伟麟 胡子宸 《北京电子科技学院学报》 2025年第3期14-25,共12页
在信息技术高速发展的推动下,工业物联网也进入雾时代。但是,工业物联网中传感器易受攻击进而造成数据泄露与篡改的问题仍然没有解决,并且在新的架构下网络更加复杂。如何保护新架构下传感器设备的数据安全仍然是工业物联网安全的核心... 在信息技术高速发展的推动下,工业物联网也进入雾时代。但是,工业物联网中传感器易受攻击进而造成数据泄露与篡改的问题仍然没有解决,并且在新的架构下网络更加复杂。如何保护新架构下传感器设备的数据安全仍然是工业物联网安全的核心任务之一。为了解决雾计算环境下传感器数据安全问题,本文提出一种雾辅助的工业物联网身份认证协议,采用异或运算与哈希函数等轻量级运算,实现双向身份认证及会话密钥协商;利用PUF技术有效抵御传感器节点捕获攻击;协议设计中充分利用雾节点计算与存储特性,实现高效的数据传输和低延时快速处理。与现有工业物联网环境下的身份认证协议相比,本文协议满足更多安全指标,且性能方面有更加显著的优势。 展开更多
关键词 工业物联网 puf 认证协议 轻量级 雾计算
在线阅读 下载PDF
PLAP-PCPE:Physical-Layer Authentication Protocol Based on PUF and Channel Pre-Equalization for the Internet of Things
11
作者 Guo Dengke Gao Yuwei +2 位作者 Cao Kuo Xiong Jun Ma Dongtang 《China Communications》 2025年第3期234-253,共20页
How to ensure the security of device access is a common concern in the Internet of Things(IoT)scenario with extremely high device connection density.To achieve efficient and secure network access for IoT devices with ... How to ensure the security of device access is a common concern in the Internet of Things(IoT)scenario with extremely high device connection density.To achieve efficient and secure network access for IoT devices with constrained resources,this paper proposes a lightweight physical-layer authentication protocol based on Physical Unclonable Function(PUF)and channel pre-equalization.PUF is employed as a secret carrier to provide authentication credentials for devices due to its hardware-based uniqueness and unclonable property.Meanwhile,the short-term reciprocity and spatio-temporal uniqueness of wireless channels are utilized to attach an authentication factor related to the spatio-temporal position of devices and to secure the transmission of authentication messages.The proposed protocol is analyzed formally and informally to prove its correctness and security against typical attacks.Simulation results show its robustness in various radio environments.Moreover,we illustrate the advantages of our protocol in terms of security features and complexity through performance comparison with existing authentication schemes. 展开更多
关键词 IoT physical-layer authentication preequalization puf wireless channel
在线阅读 下载PDF
Root Security Parameter Generation Mechanism Based on SRAM PUF for Smart Terminals in Power IoT
12
作者 Xiao Feng Xiao Liao +1 位作者 Xiaokang Lin Yonggui Wang 《Computers, Materials & Continua》 2025年第4期1307-1325,共19页
In the context of the diversity of smart terminals,the unity of the root of trust becomes complicated,which not only affects the efficiency of trust propagation,but also poses a challenge to the security of the whole ... In the context of the diversity of smart terminals,the unity of the root of trust becomes complicated,which not only affects the efficiency of trust propagation,but also poses a challenge to the security of the whole system.In particular,the solidification of the root of trust in non-volatile memory(NVM)restricts the system’s dynamic updating capability,which is an obvious disadvantage in a rapidly changing security environment.To address this issue,this study proposes a novel approach to generate root security parameters using static random access memory(SRAM)physical unclonable functions(PUFs).SRAM PUFs,as a security primitive,show great potential in lightweight security solutions due to their inherent physical properties,low cost and scalability.However,the stability of SRAM PUFs in harsh environments is a key issue.These environmental conditions include extreme temperatures,high humidity,and strong electromagnetic radiation,all of which can affect the performance of SRAM PUFs.In order to ensure the stability of root safety parameters under these conditions,this study proposes an integrated approach that covers not only the acquisition of entropy sources,but also the implementation of algorithms and configuration management.In addition,this study develops a series of reliability-enhancing algorithms,including adaptive parameter selection,data preprocessing,auxiliary data generation,and error correction,which are essential for improving the performance of SRAM PUFs in harsh environments.Based on these techniques,this study establishes six types of secure parameter generation mechanisms,which not only improve the security of the system,but also enhance its adaptability in variable environments.Through a series of experiments,we verify the effectiveness of the proposed method.Under 10 different environmental conditions,our method is able to achieve full recovery of security data with an error rate of less than 25%,which proves the robustness and reliability of our method.These results not only provide strong evidence for the stability of SRAM PUFs in practical applications,but also provide a new direction for future research in the field of smart terminal security. 展开更多
关键词 Root security parameter generation puf smart terminals
在线阅读 下载PDF
基于PUF的大型LNG储罐保冷结构研究
13
作者 苏龙龙 姜永胜 +1 位作者 陈程 苏靖伟 《石油和化工设备》 2025年第9期222-225,共4页
本文基于ANSYS有限元热分析,结合聚氨酯泡沫(PUF)材料的绝热特性,对储罐环形空间的保冷性能进行深入研究,探讨不同厚度的PUF对环形空间温度场分布及热流密度的影响。分析结果表明,PUF材料凭借其优异的绝热性能,可降低储罐日蒸发率,使得... 本文基于ANSYS有限元热分析,结合聚氨酯泡沫(PUF)材料的绝热特性,对储罐环形空间的保冷性能进行深入研究,探讨不同厚度的PUF对环形空间温度场分布及热流密度的影响。分析结果表明,PUF材料凭借其优异的绝热性能,可降低储罐日蒸发率,使得环形空间温度梯度得到改善,为大型LNG储罐的保冷结构优化提供了科学依据。 展开更多
关键词 LNG储罐 聚氨酯泡沫(puf) 保冷 ANSYS
在线阅读 下载PDF
基于FPGA的低开销强TERO PUF设计与实现
14
作者 徐元中 张月皎 +1 位作者 鲁犇 贺章擎 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2024年第9期16-22,共7页
瞬态效应环形振荡器物理不可克隆函数(TERO PUF)作为一种新型的物理不可克隆函数(PUF)电路,可以解决目前主流的环形振荡器物理不可克隆函数(RO PUF)存在的频率锁定问题.但现有的TERO PUF生成的激励响应对数量有限,并且其输出易受环境影... 瞬态效应环形振荡器物理不可克隆函数(TERO PUF)作为一种新型的物理不可克隆函数(PUF)电路,可以解决目前主流的环形振荡器物理不可克隆函数(RO PUF)存在的频率锁定问题.但现有的TERO PUF生成的激励响应对数量有限,并且其输出易受环境影响而不可靠.为此,提出了一种低开销和高可靠的基于比特自检的强TERO PUF (BST-STPUF),其中N级的结构就可以产生3×2^(2N)比特响应.该结构在传统TERO单元的每一个反相器之间都插入了一个2选1的多路选择器,以控制逆变器的选择,进而生成指数级别的激励响应空间,通过使用可编程延迟线来降低开销.其次,通过使用比特自检的方法实时动态检测PUF响应的可靠性,提取可靠的响应.最后,引入Pico PUF对激励响应对模糊化处理,增加建模攻击的难度.现场可编程门阵列(FPGA)的实验结果表明:一个14级的BST-STPUF仅使用145个查找表(LUTs)就可以产生3×2^(28)比特响应,硬件开销大幅降低,同时响应输出的比特错误率可以减小到1×10^(-8)以下,具有良好的性能. 展开更多
关键词 瞬态效应环形振荡器物理不可克隆函数(TERO puf) 强物理不可克隆函数(strong puf) 可编程延迟线 低开销 可靠性增强
原文传递
基于PUF的电子文件细粒度机密性保护研究
15
作者 张旺 孟坤 王启源 《北京信息科技大学学报(自然科学版)》 2025年第2期52-57,共6页
为满足电子文件加密中大规模、细粒度的密钥生成和高效管理需求,提出了一种基于物理不可克隆函数(physical unclonable function,PUF)的电子文件机密性保护方法。该方法利用PUF技术生成并提取密钥,通过随用随生成的模式降低密钥泄露风... 为满足电子文件加密中大规模、细粒度的密钥生成和高效管理需求,提出了一种基于物理不可克隆函数(physical unclonable function,PUF)的电子文件机密性保护方法。该方法利用PUF技术生成并提取密钥,通过随用随生成的模式降低密钥泄露风险。同时,使用文件描述信息生成专属密钥,确保高效的密钥提取。密钥的随机性、稳定性及生成提取效率等方面的测试结果表明该方案能有效满足大量电子文件的机密性保护需求。 展开更多
关键词 电子文件保护 物理不可克隆函数 密钥管理
在线阅读 下载PDF
基于延时可控的双边沿APUF 电路设计
16
作者 江佳琳 周子宇 +1 位作者 李刚 汪鹏君 《太赫兹科学与电子信息学报》 2025年第7期748-754,共7页
物理不可克隆函数(PUF)是一种实用性极强的硬件安全原语,广泛应用于物联网设备认证等信息安全领域。然而强PUF的输入输出之间关联性较强,易受到机器学习(ML)算法的攻击。为此,通过对延时可控单元和双边沿触发机理的研究,提出一种基于延... 物理不可克隆函数(PUF)是一种实用性极强的硬件安全原语,广泛应用于物联网设备认证等信息安全领域。然而强PUF的输入输出之间关联性较强,易受到机器学习(ML)算法的攻击。为此,通过对延时可控单元和双边沿触发机理的研究,提出一种基于延时可控的双边沿仲裁器PUF(APUF)电路。通过延时可控开关电路,优化APUF的路径,调节电路延迟偏差以降低激励响应对(CRP)间的相关性;采用上升沿和下降沿仲裁器分别采集PUF电路双边沿延时响应,成倍提高APUF的CRP数量,以提高信息熵利用率;基于TSMC 65 nm CMOS工艺及Cadence Virtuoso设计平台,全定制设计电路与版图。实验结果表明:电路的逻辑功能正确,PUF的唯一性和可靠性分别为51.01%和0.02557,且对应逻辑回归(LR)、支持向量机(SVM)、人工神经网络(ANN)和轻量梯度提升机(Light GBM)算法的ML攻击预测率为59.71%、62.75%、86.00%和80.92%,相较APUF抗ML能力显著提升。 展开更多
关键词 物理不可克隆函数 延时可控 双边沿触发 机器学习 物联网安全
在线阅读 下载PDF
基于PUF技术的物联网应用技术方案
17
作者 杨光 廖浩祥 《广东通信技术》 2024年第9期47-51,共5页
分析了物联网应用的各种安全问题,针对仿冒终端接入业务平台的安全风险,设计了一种基于PUF安全技术的IPv6地址的生成和验证方法,实现了平台对终端/卡进行身份认证的安全方案并定义了详细的交互流程,有助于业务平台防范非法接入攻击、保... 分析了物联网应用的各种安全问题,针对仿冒终端接入业务平台的安全风险,设计了一种基于PUF安全技术的IPv6地址的生成和验证方法,实现了平台对终端/卡进行身份认证的安全方案并定义了详细的交互流程,有助于业务平台防范非法接入攻击、保障平台和业务数据的安全。 展开更多
关键词 puf IPV6 DHC Pv6 密钥协商 安全 身份认证
在线阅读 下载PDF
基于事件逻辑的PUFs认证协议形式化分析 被引量:1
18
作者 钟小妹 肖美华 +1 位作者 杨科 罗运先 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2024年第2期69-76,共8页
提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存... 提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存储器的PUF类型)的安全双向认证协议分析为例,形式化规约了协议基于PUFs随机秘钥生成和双向认证过程,基于扩展的事件逻辑,采用定理证明方法推理证明了该协议在合理假设下满足双向强认证性质.研究表明扩展的事件逻辑理论可用于设计和分析基于PUFs安全协议. 展开更多
关键词 形式化方法 事件逻辑(LoET) 物理不可克隆函数(pufs) 双向认证协议 定理证明
原文传递
面向物联网安全认证的RO PUF模型的研究 被引量:1
19
作者 张学军 曹瑞浒 +2 位作者 周寅峰 谷群远 梅年松 《电子设计工程》 2024年第2期56-60,共5页
物联网设备的普及与应用极大地改变了生活方式,设备之间的身份安全问题也是使用者关注的焦点。该文基于物联网独特的体系结构,详细分析各层次中安全认证技术的必要性和使用PUF技术对物联网设备进行身份认证的可行性。该文采用一种RO PU... 物联网设备的普及与应用极大地改变了生活方式,设备之间的身份安全问题也是使用者关注的焦点。该文基于物联网独特的体系结构,详细分析各层次中安全认证技术的必要性和使用PUF技术对物联网设备进行身份认证的可行性。该文采用一种RO PUF结构,该方案通过混阶模型提高响应位的稳定性,使用可重构结构能加激励响应对的个数,使用并行架构保证结果的独立与安全。该设计通过Xilinx的Spartan6系列XC6SLX16-2CSG324 FPGA开发板进行结果测试,其可靠性可达到99.69%。 展开更多
关键词 物联网 物联网安全 身份认证技术 RO puf
在线阅读 下载PDF
嵌入式系统中的内生存储器PUF研究综述 被引量:1
20
作者 陈帅 蔡敏 +1 位作者 杨志勇 曾集丰 《集成电路与嵌入式系统》 2024年第9期7-16,共10页
物理不可克隆函数(Physical Unclonable Functions,PUF)可视为一种“芯片指纹”,具有轻量级、不可预测、难以克隆等特性,已经成为物联网硬件安全机制的重要组成部分。然而,传统PUF的实现需要在硬件层面增加FPGA或专用集成电路,会增加硬... 物理不可克隆函数(Physical Unclonable Functions,PUF)可视为一种“芯片指纹”,具有轻量级、不可预测、难以克隆等特性,已经成为物联网硬件安全机制的重要组成部分。然而,传统PUF的实现需要在硬件层面增加FPGA或专用集成电路,会增加硬件成本。对于数以亿计的现有物联网嵌入式设备,难以通过硬件改造来增加PUF安全属性。因此,从现有设备的硬件结构中挖掘固有PUF(Intrinsic PUF,IPUF)成为PUF研究与产业化的关键组成部分。本工作将对已有的IPUF,尤其是基于存储器的IPUF(Memroy based Intrinsic PUF,MIPUF)相关工作进行系统综述,并针对IPUF在现有系统中的可实现性及未来的发展方向进行讨论,以推动该技术的工程应用。 展开更多
关键词 puf SRAM DRAM FLASH
在线阅读 下载PDF
上一页 1 2 54 下一页 到第
使用帮助 返回顶部