【摘 要】
：
通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型,规范了能够更严格地反映公平交换协
【机 构】
：
中国科学院软件研究所,中国科学院软件研究所 北京100080 中国安胜信息技术有限公司,北京100080 中国科学院研究生院,北京100039,北京100080 中国科学院研究生院,北京100039
论文部分内容阅读
通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型,规范了能够更严格地反映公平交换协议内在要求的多种安全需求,并对它们进行了细粒度的分解.基于这一工作,可高效细致地对多方公平交换协议进行分析、检测和设计.
By analyzing the origins of message items in protocol and the channel composition, events and events between parties, a concise, compact and accurate hierarchical model of fair exchange protocol is proposed, which standardizes the model that can reflect more strictly Fair exchange of requirements within the requirements of a variety of security requirements, and fine-grained decomposition of them.Based on this work, efficient and meticulous multi-party fair exchange protocol analysis, testing and design.
其他文献
随着全球性的重大管理问题及审计失误失败案例的不断涌现,现代风险导向审计理论及其应用已成为世界性关注的课题.一些前沿人士的研究已经初具雏形,并正在将现代风险导向审计
刑事被害人国家补偿制度通过对犯罪被害人进行补偿,回复由于发生犯罪而失衡的法秩序及国民对刑事司法的信赖,由此安定社会秩序。刑事被害人国家补偿的资金管理宜采用基金管理
景区开发与管理专业实践性很强,它培养的是旅游行业第一线的经营管理和服务人才,对学生的专业技能要求非常高,它强调在教学活动中必须注重理论与实践相结合,实践教学在其整个
Palmer等人提出连接性先于经典的Gestalt规律决定视知觉的基本单元,但是,Han等人发现在字母分辨任务中空间相邻性组织可以和连接性组织发生得一样快.在3个实验中进一步研究连接性和空间相邻性组织的关系,发现当视野中呈现一个或两个整体字母时,检测由连接性和空间相邻性决定的靶目标的反应一样快.但是,当视野中的整体字母增多时,检测由连接性决定的靶目标的反应比检测由空间相邻性决定的靶目标的反应快,而
听证制度是程序法律制度中的核心制度,非正式听证影响着对公民权利的保护和行政工作的效率。本文主要对非正式听证进行了概述并分析了它的重要性,以及外国非正式听证的文本规
现阶段,社会以及科学技术的迅猛发展,事业单位也得到了非常大的发展,逐渐重视了事业单位的思想政治工作.对思想政治工作以及思想方面的先进进行落实是党的基本要求,需要保持
关于违约所发生的精神损害能否获得赔偿的问题,一直是一个有所争议的话题。对此笔者认为,断然否定违约可以适用精神损害赔偿的观点,其理论基础和所持理由还缺乏充分的论证,应
物权和债权作为我国民法主要研究的两种基本的权利,在传统的观念中两者是各自独立的,认为物权就是对物的权利具有对世性、绝对性;债权就是债权人对债务人享有的要求其履行义
量刑程序的改革正在我国法院试点并推进,为了促使这一改革健康深入地进行,关注程序改革面临着的系列理论分歧。笔者从量刑规范与量刑程序的改革孰重、定罪程序与量刑程序是否
本文通过对《侵权责任法》全面性、立体感、详细性等特点的分析,有助于我们学习、掌握这部新法,维护我国公民的权利。
Through the analysis of the comprehensiveness, thr