基于DES同步系统不透明性的判断条件

发布时间：2021-01-11 07:12

　　随着社会的不断进步,信息技术也得到快速发展。社会变得高度信息化,由此带来的信息安全也成为社会亟待解决的一个问题。在已有的自动机和Petri网（Petri Net）模型的不透明性验证算法里,无论是基于语言还是基于状态进行的不透明性验证都是一个系统单独运作时的不透明性验证。由于系统同步运行的情况大量存在,针对同步系统的不透明性验证变得十分必要。在进行多系统同步下的不透明性验证时,首先面临的问题是其不透明性判断算法的计算复杂度大。目前判断系统的不透明性的算法有很多,通常都需要遍历整个系统行为。而计算复杂度随着系统状态的增加呈现指数增长,因此构建的判断模型面临着状态爆炸的问题。其次,如果按照常规的步骤进行多同步系统的不透明性判断,就必须先进行多系统的同步操作。但是很多情况下由于资金和地域的诸多原因很难将两个系统完全放在一起同步。考虑到这两点不足,针对于各个系统的不可观事件集相同且属于共同事件集或者相关事件集的情况,本文提出了新的同步系统不透明性验证方法。如果将信息安全性按照保护的对象方面进行分类,主要分为信息内容的安全性和信息传播机制的安全性。本文研究的是后者,将信息传播机制进行抽象,从而得到... 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：73 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
符号对照表
缩略语对照表
第一章 绪论
    1.1 课题研究背景及意义
    1.2 国内外研究现状
    1.3 本文主要工作
第二章 基本概念
    2.1 语言基础概念
        2.1.1 字符串和字母表
        2.1.2 集合
        2.1.3 关系和操作
    2.2 自动机模型
    2.3 自动机操作
        2.3.1 交运算和同步积
        2.3.2 自循环系统
    2.4 系统不透明性
        2.4.1 当前状态不透明性
        2.4.2 初始状态不透明性
        2.4.3 初始状态和终止状态对不透明性
    2.5 本章小结
第三章 基于语言的同步系统不透明性判断条件
    3.1 基于语言判断同步系统当前状态不透明性的条件
        3.1.1 同步双系统当前状态不透明性
        3.1.2 同步多系统当前状态不透明性
        3.1.3 实例
    3.2 基于语言判断同步系统初始状态不透明性的条件
        3.2.1 同步双系统初始状态不透明性
        3.2.2 同步多系统初始状态不透明性
        3.2.3 实例
    3.3 基于语言判断同步系统初始状态和终止状态对不透明性的条件
        3.3.1 同步双系统初始状态和终止状态对不透明性
        3.3.2 同步多系统初始状态和终止状态对不透明性
        3.3.3 实例
    3.4 本章小结
第四章 基于状态的同步系统不透明性判断条件探究
    4.1 基于状态判断同步双系统不透明性的条件
        4.1.1 双系统的判断模型构建
        4.1.2 同步双系统不透明性
        4.1.3 算法及实例
    4.2 基于状态判断同步多系统不透明性的条件
        4.2.1 多系统的判断模型构建
        4.2.2 同步多系统不透明性
        4.2.3 算法及实例
    4.3 本文方法与传统方法的比较
        4.3.1 实例
        4.3.2 系统复杂度和判断系统不透明性步骤对比
        4.3.3 判断系统不透明性计算量对比
    4.4 本章小结
第五章 总结与展望
    5.1 总结
    5.2 展望
参考文献
致谢
作者简介



本文编号：2970331