认证逻辑系统的可靠性研究

发布时间：2022-01-03 23:41

　　网络安全的关键问题之一是密码协议的安全性。人们提出了多种密码协议的分析方法，BAN类逻辑是其中重要的一种。而认证逻辑系统本身是否可靠关系到分析结果的正确性，即如果一个逻辑系统是可靠的，那么通过公理推出的结论也是正确的，反之，如果公理系统不可靠，则分析结果不能保证正确。 逻辑化方法是分析协议的一个重要工具，但是在逻辑化方法中公理是不是可靠的，这是一个重要的问题。木文在数理逻辑的基础上，给出了认证逻辑系统可靠性的概念，并对几个逻辑系统进行了可靠性分析，主要结果如下： 1．BAN逻辑是一个不完全可靠的系统，其中相信谓词存存歧义，使得一些公理不能给出确定的解释，而且还指出了公理M1、M3、N1不是概率真的； 2．GNY逻辑是一个不完全可靠的系统，在GNY认证逻辑系统中，公理R1、R6不是概率真的； 3．SVO逻辑也是一个完全不可靠的系统，其中，公理A13、A16不是概率真的； 4．李逻辑是一个不完全可靠的系统，谓词生成э、刚刚说过（|≈）需要进一步的刻划，此外，公理AIP1、AIP5和AFM2不是概率真的。此外还对李逻辑进行了改进，存此基础上给出了一些新的概念，增... 

【文章来源】：战略支援部队信息工程大学河南省

【文章页数】：66 页

【学位级别】：硕士

【文章目录】：
中文摘要
ABSTRACT
目录
表目录
第一章 概论
    1.1 引言
    1.2 协议中的几个基本概念
    1.3 协议安全性分析的几种基本方法
    1.4 本文的结构
第二章 基础知识
    2.1 非形式的命题逻辑
    2.2 形式的命题逻辑
    2.3 非形式的谓词逻辑
    2.4 形式的谓词逻辑
    2.5 认证逻辑系统的可靠性
第三章 BAN逻辑的可靠性分析
    3.1 BAN逻辑简介
    3.2 BAN逻辑的可靠性分析
    3.3 BAN逻辑小节
第四章 GNY逻辑的可靠性分析
    4.1 GNY逻辑简介
    4.2 GNY逻辑的可靠性分析
    4.3 GNY逻辑小节
第五章 SVO逻辑的可靠性分析
    5.1 SVO逻辑简介
    5.2 SVO逻辑的可靠性分析
    5.3 SVO逻辑小节
第六章 李逻辑的可靠性分析及其改进
    6.1 李逻辑简介
    6.2 李逻辑的可靠性分析
    6.3 对李逻辑的改进
    6.4 NSL协议的安全性分析
结束语
致谢
参考文献
作者在学期间取得的学术成果


【参考文献】：
期刊论文
[1]一种BAN-逻辑的修正[J]. 郑东,王常杰,王育民.  电子科学学刊. 2000(04)

博士论文
[1]密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D]. 李益发.解放军信息工程大学 2001

硕士论文
[1]逻辑化方法的改进及若干密码协议安全性分析[D]. 袁亚飞.中国人民解放军信息工程大学 2005



本文编号：3567205