面向廊桥AP的机载无线网络认证机制研究

发布时间：2025-01-09 05:34

　　为解决面向廊桥AP的机载无线网络数据传输过程中无统一安全机制的问题,提出一种安全性强且机制完善的安全认证方法,主要创新点如下:(1)结合Elgamal算法首次提出一种新的基于身份的盲签名方案,签名者对原始消息不可见,不能通过签名恢复原始消息。使用杂凑函数处理私钥及身份信息,在随机预言模型下是安全的,属于离散对数难题。(2)基于椭圆曲线密码算法提出一种身份认证方案。使用非重复伪随机序列,保证随机数的新鲜性。SVO逻辑形式化分析显示,该方案能够实现双向认证,确保数据传输过程中的安全接入。(3)使用双线性对技术对IDAK协议提出改进,使用无证书及无托管的模式有效节省了系统资源,具备密钥协商协议所需全部安全属性,并使用SVO逻辑进行正确性证明。将提出的盲签名、身份认证和密钥协商方案首次应用到民航信息系统(即TWLU数据传输过程)中并进行模拟仿真,填补了该领域在国内研究的空白。基于Elgamal算法的盲签名方案能够有效抵御密钥恢复攻击和签名伪造攻击;基于椭圆曲线密码体制的身份认证技术能够抵御重放攻击,并实现双向认证;基于双线性对的密钥协商方案,能有效抵抗密钥泄露攻击、已知密钥攻击等安全威胁。提出的...

【文章页数】：60 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第一章 绪论
    1.1 选题背景及意义
        1.1.1 研究背景及意义
        1.1.2 TWLU数据传输过程的安全需求
    1.2 研究现状
    1.3 技术路线
    1.4 论文组织与结构
第二章 相关理论研究
    2.1 数学知识
        2.1.1 椭圆曲线密码体制
        2.1.2 双线性对
        2.1.3 杂凑函数
        2.1.4 伪随机序列
        2.1.5 数学难题
    2.2 安全协议的证明
        2.2.1 安全模型
        2.2.2 安全协议的形式化证明——SVO逻辑
    2.3 本章小结
第三章 基于身份的盲签名方案
    3.1 TWLU数据传输与盲签名
    3.2 盲签名方案的一般模型
    3.3 基于身份的Elgamal盲签名方案
        3.3.1 经典签名方案
        3.3.2 新的基于身份的Elgamal盲签名方案
        3.3.3 基于身份的Elgamal盲签名方案的性质
    3.4 盲签名的安全性分析
    3.5 本章小结
第四章 基于身份的身份认证和密钥协商协议
    4.1 TWLU数据传输与身份认证和密钥协商
    4.2 基于身份的身份认证方案
        4.2.1 身份认证协议的一般模型
        4.2.2 基于ECC的身份认证方案
    4.3 身份认证协议的安全性分析及证明
        4.3.1 身份认证协议的安全性分析
        4.3.2 身份认证协议的SVO逻辑证明
    4.4 基于身份的密钥协商协议
        4.4.1 密钥协商协议的一般模型
        4.4.2 WANG方案和XU方案
        4.4.3 改进的密钥协商协议
    4.5 密钥协商协议的安全性分析及证明
        4.5.1 密钥协商协议的安全性分析
        4.5.2 密钥协商协议的SVO逻辑证明
    4.6 本章小结
第五章 面向廊桥AP的机载无线网络认证机制
    5.1 认证机制介绍
        5.1.1 TWLU数据传输过程
        5.1.2 总体模拟环境
    5.2 盲签名在TWLU传输过程中的应用
        5.2.1 方案描述
        5.2.2 方案对比及模拟仿真
    5.3 TWLU传输过程中的身份认证和密钥协商
        5.3.1 方案描述
        5.3.2 方案对比及模拟仿真
    5.4 TWLU数据传输认证机制综合分析
    5.5 本章小结
第六章 总结与展望
    6.1 全文总结
    6.2 工作展望
参考文献
致谢
作者简介
    1.个人情况
    2.已发表论文
    3.申请专利



本文编号：4025228