检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:段艳萍 Duan Yanping(International College,Guangzhou College of Commerce,Guangzhou 510006,Guangdong,China)
出 处:《计算机应用与软件》2021年第9期333-337,349,共6页Computer Applications and Software
基 金:2018年度广东省教育科学“十三五”规划项目(2018GXJK217)。
摘 要:在分析张兴等[18]协议存在隐私泄露基础之上,设计一种认证协议。协议在确保隐私信息安全前提下,采用交换再交叉运算对发送信息加密;交换再交叉运算基于按位运算实现,在确保隐私信息安全的同时,可满足降低计算量的要求;为能够抵抗假冒攻击,消息接收者先对消息来源方进行真伪识别,仅在通过后才能进入后续操作。对协议进行基于GNY逻辑形式化分析,推理出协议的正确性及满足用户安全所需;将协议与其他协议做性能比较,协议具备计算量小的特征。Based on the analysis of privacy disclosure of the protocol proposed by Zhang Xing et al[18],an authentication protocol is designed.Under the premise of ensuring the security of privacy information,the protocol encrypted the sending information by exchanging and recrossing operation.This operation was based on the principle of bitwise operation,which can not only ensure the security of privacy information,but also meet the requirements of reducing the amount of calculation.In order to resist the counterfeiting attack,the message receiver identified the source of the message first,and then carried out subsequent operation only when passing the verification.Based on the formal analysis of GNY logic,this paper deduced the correctness of the protocol and the security required by users.Comparing the performance of the protocol with other protocols,this protocol has the characteristics of small computation.
关 键 词:射频识别 GNY逻辑 交换再交叉运算 超轻量级 位运算
分 类 号:TP393.08[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.117.252.232