基于身份认证与数字水印的嵌入式系统安全机制研究

发布时间：2022-01-16 02:47

　　随着互联网与通信技术的进步,大多数嵌入式系统都具有网络通信的功能。然而,网络的开放性使得嵌入式系统容易遭受各种攻击。这给许多依赖于嵌入式系统执行重要控制任务的基础行业带来了重大的安全风险。因此,安全性已成为处于开放环境中的嵌入式系统亟待解决的问题。针对处于开放环境中的嵌入式系统的安全问题,本文设计了一种添加用户生物信息、使用轻量级函数的身份认证协议,并实现了一种采用数字水印技术防止系统内部敏感数据被篡改的方法,保证系统不仅能够抵抗非法用户的攻击,也能抵御合法用户的篡改攻击。论文的工作内容如下:1、针对处于开放环境中的嵌入式系统易遭受非法用户攻击的问题,提出了一种基于生物特征的轻量级身份认证协议。该协议通过添加具有无需记忆、难窃取和难模仿等优点的生物信息,弥补了传统基于口令和智能卡的双因素身份认证协议不能抵抗字典攻击和容易丢失的缺陷;通过采用基于哈希、按位异或和模糊提取器的轻量级函数,减少了嵌入式系统执行认证协议所消耗的计算资源。此外,协议中生成的会话密钥可用于加密传输的数据,从而保证数据的机密性与完整性。本文对该协议进行了形式化的验证和非正式的安全分析,并将其与其它相关协议进行比较。结... 

【文章来源】：湖南大学湖南省 211工程院校 985工程院校 教育部直属院校

【文章页数】：68 页

【学位级别】：硕士

【部分图文】：

基于ProVerif的形式验证结果图

FLASH空间分配图

网络模型图

【参考文献】：
期刊论文
[1]一种采用双层校验的RFID离线匿名群证明协议[J]. 周志彬,王国军,刘琴,贾维嘉.  计算机研究与发展. 2018(12)
[2]实时多核嵌入式系统研究综述[J]. 陈刚,关楠,吕鸣松,王义.  软件学报. 2018(07)
[3]基于可逆数字水印认证的无线传感网数据融合协议[J]. 蒋文贤,张振兴,吴晶晶.  通信学报. 2018(03)
[4]嵌入式系统安全综述[J]. 赵波,倪明涛,石源,樊佩茹.  武汉大学学报(理学版). 2018(02)
[5]一种安全攸关嵌入式系统需求追踪方法[J]. 王飞,黄志球,杨志斌,阚双龙,沈国华,陈光颖.  计算机学报. 2018(03)
[6]基于身份的移动互联网高效认证密钥协商协议[J]. 王真,马兆丰,罗守山.  通信学报. 2017(08)
[7]基于USB Key的安全增强密钥生成方案[J]. 赵波,李二辉,马骏,黄宇晴.  计算机工程与应用. 2018(10)
[8]密码协议代码执行的安全验证分析综述[J]. 张焕国,吴福生,王后珍,王张宜.  计算机学报. 2018(02)
[9]WBAN网络中条件隐私保护的远程用户认证方案[J]. 曹进,郑怡清,李晖.  通信学报. 2016(S1)
[10]可证明安全的社交网络隐私保护方案[J]. 何建琼,田有亮,周凯.  网络与信息安全学报. 2016(08)

硕士论文
[1]基于数字水印技术的电子发票交易平台设计与实现[D]. 方赫.西南交通大学 2016
[2]移动支付中动态口令身份认证方案研究[D]. 朱美佳.西安电子科技大学 2011



本文编号：3591787