【摘 要】
：
多方不可否认协议是允许在消息传递中出现多于两方的参与者进行消息交换的网络安全协议。在多方不可否认协议中重要的任务是解决消息交换的公平性与安全性，目前出现了许多
【机 构】
：
Institute of Computer Science, Guizhou University,Guiyang 550025, China
【出 处】
：
第四届全国逻辑系统、智能科学与信息科学学术会议
论文部分内容阅读
多方不可否认协议是允许在消息传递中出现多于两方的参与者进行消息交换的网络安全协议。在多方不可否认协议中重要的任务是解决消息交换的公平性与安全性，目前出现了许多基于各种方案的处理办法。作者在对其中具有代表性的一种含离线可信第三方的多方不可否认协议进行研究的基础上，对其进行了新的改进，并使用SVO逻辑对新协议进行形式化分析论证。
其他文献
随着互联网的发展,人们活动过程中产生的数据等越来越庞大,对数据的计算与存储、安全隐私要求越来越高,区块链技术下的网络信息安全机制数据真实可信且不可篡改,安全的特点可以作为提升网络环境,保护网络数据信息安全、抵御攻击的重要措施。本文首先对区块链及区块链的核心技术做了简要叙述,然后分析了区块链技术在网络信息安全领域的应用,最后提出几点基于区块链技术的网络信息安全的思考,供从业者参考。
现实世界中主体退出行为的形式多样性和不确定性会影响网络的演化进程,甚至导致网络退化。研究主体退出效应能深化人们对世界现实中网络演化机理的认知,有助于对网络主体关系管理。为使主体退出效应的研究更加合理,基于区间灰数量化主体退出的不确定性,结合三类主体退出的方式,构建基于主体退出效应的灰色无标度网络优化模型,分析主体退出对网络异质性和小世界性的影响。研究表明,当主体退出数量不高于进入数量时,主体退出方
We propose a scheme to generate superpositions of two atom Dicke states entanglement in cavity quantum electrodynamics (QED).The scheme can be extended to reali
随着互联网技术的快速发展和普及,如今互联网技术的运用领域范围也越加广泛,并逐步改变人们的日常生活内容及习惯。在此情况下,国家为能够有效确保网络信息安全,已经将网络信息安全的相关内容纳入到国家安全之中,并将其视作为国家安全的重要组成部分。基于此,本文将提出一种网络安全评测信息系统的总体设计架构,并以某中小企业为例,实现对网络安全评测信息系统的具体运用测试,进一步确定网络安全评测信息系统的实际运用成效
在网络信息系统中，木马技术由于其隐蔽性、远程可植入性和可控制性等特点，已成为黑客攻击或不法分子入侵或控制他人网络或计算机系统的重要工具。为了从源头上了解和认识木
使用计算机来处理自然语句的问题，首要的工作是问题本身的形式描述。命题逻辑的表达问题的能力，仅限于连接词的使用，而谓词逻辑由于变元、谓词、量词和函数的引入具有很强的
在石油化工生产中产生的大量C_1～C_9烷烃和烯烃的混合物,统称为总烃。烃类易燃易爆,且污染环境和危害人体健康。目前车间空气监测中尚未有测定总烃的方法。本文研究了用活性
本文结合通信装备自动测试系统项目的开发经验，说明了数据库及其相关技术在自动测试领域中的应用。介绍了自动测试系统的基本原理，给出了数据库的概念模型设计，并详细阐述了
随着IP电话的快速发展，在IP网络中需要一种能快速提供功能强大和竞争力强的多媒体服务.一个明智的选择就是融合智能网络和IP网络，并把成熟的服务创建和服务规划智能网技术
结核病人458例,使用9种抗结核药治疗,出现不良反应(ADRs)者86例,发生率18.8%,女性发生率(20.8%)稍高于男性(17.1%).不良反应共10种,其频度依次为听力、胃肠、前庭、肝损及过