【摘 要】
：
多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆
论文部分内容阅读
多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,分析结果不可靠。首先,综合比较现有的分析技术,选定SVO逻辑进行扩展,显式引入时间因素,给出对应的语法定义和时间演算公理。然后,对改进逻辑的语义模型进行介绍,并证明了逻辑系统的可靠性,使得改进后的逻辑系统支持对多方不可否认协议三大安全目标的分析。最后,选取一个典型的多方不可否认协议,分别对
其他文献
为了提高国产镀膜机自动化程度以获得高性能的光学薄膜,需要在镀膜系统中引入微机控制单元,控制部分包含信号调理、数据采集、数据处理和反馈系统,整体监控界面采用VC＋＋6.0编写
纸病检测机的热接装置模型参数具有随温度而变化的时变特性，采用常规PID控制方法不能满足较高工艺要求，为了提高包材接头的热接质量，避免由于接头质量差造成包材断头的情况发生；
在数据智能处理中属性重要度差异很大且具有高度非线性的特征，在这种情况下直接应用机器学习进行建模处理往往很难获得问题的有效解。针对此问题，文中探索了基于粒计算的属性重
在实时性要求较高的测控系统中,数据采集和处理必须同步进行;串行接口由于其具有连接简单、使用方便、数据传递可靠性高等优点,在工业实时控制系统中得到了广泛应用;以MSComm控件作为低层接口,根据飞机模型的数据传输系统和机载系统自定义的通信协议,利用无线数字传输设备,接收GPS的定位数据,开发了一个多线程控制串口的测控平台;实现了参数实时获取、飞行控制参数在线调整、数据的存储及分析等功能;实际应用中,
随着无线通信系统的宽带化；传统的数据加密算法具有很高的计算复杂度；并且没有考虑到物理层调制方式的安全性。针对这一问题；从物理层加密的角度；提出了一种基于无线OFDM系统的调