期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
安全协议分析的界——综合模型检查与Strand Spaces(英文)
1
作者 刘怡文 李伟琴 《中国科学院研究生院学报》 CAS CSCD 2002年第3期288-294,共7页
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,... Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势. 展开更多
关键词 安全协议分析 模型检查 STRAND SPACES 定理证明 机器证明 安全特性 网络安全
在线阅读 下载PDF
基于反比例函数的RFID组证明协议
2
作者 齐宁 明显诚 《计算机应用与软件》 北大核心 2023年第8期337-341,共5页
针对现有的大多数证明协议仅能证明单组或单标签存在不足,提出一种可适用于证明多标签或多组标签存在的证明协议。协议为减少所有通信实体端计算量,采用一种构造超轻量级的反比例函数算法进行信息加密;给出反比例函数具体构造方法及实... 针对现有的大多数证明协议仅能证明单组或单标签存在不足,提出一种可适用于证明多标签或多组标签存在的证明协议。协议为减少所有通信实体端计算量,采用一种构造超轻量级的反比例函数算法进行信息加密;给出反比例函数具体构造方法及实现步骤,构造过程中结合加密信息自身汉明重量取值,有效地减少了参数的引入,可一定程度上节约存储空间,同时增加了协议破解难度。从理论角度对协议进行安全及性能方面分析,表明该协议能够抵抗常见类型的攻击,且性能优于其他经典协议。 展开更多
关键词 物联网 射频识别技术 组标签 证明协议 反比例函数 构造函数
在线阅读 下载PDF
JJG229-2010给出的不确定度评定方法会导致错误选用检定标准
3
作者 罗莎 刘彦刚 《计量与测试技术》 2018年第1期117-118,共2页
JJG229-2010《工业铂、铜热电阻》给出的测量不确定度评定方法,没有认识到只有测量值正强相关,相关系数为+1或很接近+1,其测量不确定度才能代数和合成。仅凭测量值相关就认为其测量不确定度为代数和合成,评定出的标准不确定度,仅为正确... JJG229-2010《工业铂、铜热电阻》给出的测量不确定度评定方法,没有认识到只有测量值正强相关,相关系数为+1或很接近+1,其测量不确定度才能代数和合成。仅凭测量值相关就认为其测量不确定度为代数和合成,评定出的标准不确定度,仅为正确的标准不确定度的十分之一。显然,据此评定结果选用检定标准必定是错误的,会使得量值传递的测量不确定度不满足要求。 展开更多
关键词 《工业铂、铜热电阻》检定规程 不确定度评定 相关性 代数和合成 检定标准
在线阅读 下载PDF
5G网络鉴权协议的形式化分析与改进
4
作者 伍祥 缪祥华 +1 位作者 张婉君 陈琼 《化工自动化及仪表》 2026年第2期272-278,共7页
由于5G移动通信网络的高速发展,其需要的安全性也在逐步增加,第三代合作伙伴计划(3GPP)已经标准化了用于移动通信的5G AKA(认证和密钥协商)等协议,但是5G AKA协议的安全性没有任何保证。因此,首先针对5G AKA协议、传输信道和攻击者进行... 由于5G移动通信网络的高速发展,其需要的安全性也在逐步增加,第三代合作伙伴计划(3GPP)已经标准化了用于移动通信的5G AKA(认证和密钥协商)等协议,但是5G AKA协议的安全性没有任何保证。因此,首先针对5G AKA协议、传输信道和攻击者进行建模,使用Tamarin工具形式化分析协议中的参数SUPI、SNname和安全锚点密钥KSEAF的Lowe分类法的鉴权性质。根据分析结果,发现从UE实体角度考虑的大部分鉴权性质都不能满足,针对协议存在的安全缺陷和不满足的鉴权性质,提出了两种方法对模型进行改进,一种是引入物理层相关参数计算生成安全密钥,修改原本的MAC认证码生成,将SNname参数增加到MAC的计算中;第2种是在协议结束阶段增加UE和SN实体之间的消息确认,对改进后的协议进行验证和分析,并增加对SUPI和KSEAF单射一致性的验证。改进后的协议大部分鉴权性质都满足。 展开更多
关键词 5G AKA协议 形式化分析 Lowe分类法 鉴权性质 Tamarin工具
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部