【摘 要】
：
Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise,
【机 构】
：
Engineering Research Center for Information Security Technology,Beijing Zhongke Ansheng Corporation
【基金项目】
：
National Natural Science Foundation of China;科技部科研项目;北京市自然科学基金
论文部分内容阅读
Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange protocols, formally specifies various security requirements which are able to reflect inherent requirements for fair exchange protocols more rigorously, and partition these security requirements with fine granularity. This work helps analyze, debug, and design multi-party fair exchange protocols more effectively and elaborately.
其他文献
当前国内高职院校办学的一项重要内容是校企合作,但是很多院校在此过程中的运行偏离了正常轨道而步入困境或流于形式.鉴于此,深入分析高职院校校企合作的现状,在此基础上,提
背包旅游作为一种时尚的自助旅游形式,近年来日益受到大学生群体的青睐.本文以中国大学生为调查对象,采用问卷调查法分析了大学生背包旅游的行为特征,并针对如何开拓大学背包
大学生群体是高校校园游憩活动的主体,研究大学生群体的高校校园游憩意象,可以从主体人手考察影响高校校园游憩意象的要素,从而服务于高校校园游憩规划与建设.本文以高校大学
舞蹈是一门艺术,它能够提升学生的综合素质。本文针对当前高校舞蹈专业学生面临的问题,并对高校舞蹈教学应该遵循的原则进行阐述,并提出了改进高校舞蹈教学的对策
Dance is
通识教育已经成为大学教育的重要组成部分,越来越受到教育学者的重视,而在高职院校中通识教育依然存在很多问题.本文在研读大量研究成果的基础上,对通识教育的涵义,高职院校
随着旅游业对旅游服务质量的要求越来越高,对旅游服务专业学生的能力培养也越来越受到人们的重视.本文分析了旅游服务专业在教学过程中存在主要问题,并结合实践经验,提出了提
目的探讨平阳霉素瘤体内注射治疗乳腺癌术后局部复发的效果及其临床意义。方法常规消毒后根据病灶大小选4～7号注射器针头 ,穿刺点在病灶中心部位 ,将针头先刺入病灶深部再退到
校园文化是校风、学风和校园精神的体现,是学校育人的重要环节,也是展现学校教育理念和特色的重要平台,更是学校德育的重要组成部分.本文介绍了如何用“校园文化”来培养寄宿
数学教学中常见的是“解题”,而忽略了“说题”.“说题”是教师自身数学教育的理论功底、数学知识的掌握程度、数学方法的理解能力及数学教学的前瞻性理念的体现.
Six kinds of micro bridge-beam specimens with different sizes are fabricated using photolithography technology for bending test. Beam specimens with trapezoidal