【摘 要】
：
多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆
论文部分内容阅读
多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,分析结果不可靠。首先,综合比较现有的分析技术,选定SVO逻辑进行扩展,显式引入时间因素,给出对应的语法定义和时间演算公理。然后,对改进逻辑的语义模型进行介绍,并证明了逻辑系统的可靠性,使得改进后的逻辑系统支持对多方不可否认协议三大安全目标的分析。最后,选取一个典型的多方不可否认协议,分别对
其他文献
日前，由中国航天科技集团公司六院研制的国家某重点型号一级发动机抽检试车获得圆满成功。这已是该院自开展创先争优活动以来，西安、北京两地多种型号发动机试验获得的第15次成
随着数据规模的增长以及网络技术的发展,对等网络(P2P)作为一种分布式信息共享与搜索的平台引起了越来越广泛的关注。基于对等网络高度动态、高度分散、扩展性强等特点,P2P上
为了提高国产镀膜机自动化程度以获得高性能的光学薄膜,需要在镀膜系统中引入微机控制单元,控制部分包含信号调理、数据采集、数据处理和反馈系统,整体监控界面采用VC＋＋6.0编写
纸病检测机的热接装置模型参数具有随温度而变化的时变特性，采用常规PID控制方法不能满足较高工艺要求，为了提高包材接头的热接质量，避免由于接头质量差造成包材断头的情况发生；
在数据智能处理中属性重要度差异很大且具有高度非线性的特征，在这种情况下直接应用机器学习进行建模处理往往很难获得问题的有效解。针对此问题，文中探索了基于粒计算的属性重
归结起来四大技术：第一，研究相关的无人深空探测技术；第二，载人深空探测技术，既然是深空就要跑到很远，因此远距离测控通讯技术就是关键技术，当然要把这么大的飞行器打出去、送的很远
在实时性要求较高的测控系统中,数据采集和处理必须同步进行;串行接口由于其具有连接简单、使用方便、数据传递可靠性高等优点,在工业实时控制系统中得到了广泛应用;以MSComm控件作为低层接口,根据飞机模型的数据传输系统和机载系统自定义的通信协议,利用无线数字传输设备,接收GPS的定位数据,开发了一个多线程控制串口的测控平台;实现了参数实时获取、飞行控制参数在线调整、数据的存储及分析等功能;实际应用中,
在分布较为密集的无线传感器网络中,数据传输过程会产生大量的冲突问题,冲突会造成传输数据的丢失和传输时延的增大。多路径数据传输方法可以有效地减少冲突造成的数据丢失和
随着无线通信系统的宽带化；传统的数据加密算法具有很高的计算复杂度；并且没有考虑到物理层调制方式的安全性。针对这一问题；从物理层加密的角度；提出了一种基于无线OFDM系统的调
在法律性质上，医疗事故鉴定机构的鉴定为：医学专家评定医患双方争议的医疗行为是否构成医疗事故的专业性结论意见，其是人民法院在审理医疗事故纠纷案件中，用来作为认定医生的医疗