排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
基于离线可信第三方的电子支付协议公平性分析 总被引:1,自引:0,他引:1
基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面.电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击.在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见. 相似文献
2.
田树华 《中国矿业大学学报》1981,(4)
文中指出,镜煤化作用和丝炭化作用是在煤化作用阶段,基本上同时进行的两个过程。它们区别于传统概念。随着煤化作用的进行,相应地形成煤岩组分演化的连续系列。并按它们的特征,将其分别归属为三个世代,即初始世代、中期世代和老化世代。残植煤类仅出现在初始世代和中期世代的早期阶段。 相似文献
3.
<正> 本文介绍韩国三星公司推出的CT-M28型25英寸彩电的电源工作原理及其故障检修。 一、电源电路工作原理 CT-M28型彩电的机心的电源电路由防干扰滤波、桥式整流、滤波、开关电源启动等电路,开关变压器T801,开关管Q801,以及开关电源专用集成块IC801(TEA2261)和开关电源取样电路IC802(TEA5170)等组成。其原理图如附图所示。 相似文献
4.
5.
计算机数据库管理技术探讨 总被引:5,自引:1,他引:4
计算机数据库系统是从信息系统中派生出来的,同时也是其中的一个重要组成部分。数据库系统中的数据库文件是其核心部分,所有的信息全都聚集在数据库文件上,存储和管理数据信息的重任都落在数据库文件上。文章从提出计算机数据库管理技术中存在的问题出发,分析问题找出原因,然后对计算机数据库的管理技术作出了自己的分析。 相似文献
6.
传统的教学方法以知识传授为主,采取“满堂灌”的授课方式,不能激发学生的积极性、主动性,使学生感到枯
燥无味。本文从教学内容、方法、手段等方面介绍了对《C#程序设计》课程所做的改革。通过改革,激发了学生学习积极性,提
高了实践能力,培养学生的职业素质。 相似文献
7.
8.
基于Offline-TTP的电子支付协议通常具有复杂结构,由多个子协议组合而成,与传统认证协议具有显著不同,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。 相似文献
9.
1