基于离线可信第三方的电子支付协议公平性分析

基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面.电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击.在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见.     

关于煤化作用过程中煤岩组分的形成世代和演化问题

文中指出,镜煤化作用和丝炭化作用是在煤化作用阶段,基本上同时进行的两个过程。它们区别于传统概念。随着煤化作用的进行,相应地形成煤岩组分演化的连续系列。并按它们的特征,将其分别归属为三个世代,即初始世代、中期世代和老化世代。残植煤类仅出现在初始世代和中期世代的早期阶段。     

基于嵌入式纸币识别系统的设计与实现

设计研究人民币纸币识别系统的主要模块,如图像特征采集、处理和识别.实时特征采集是基于嵌入式纸币识别系统的关键,结合uClinux操作系统和S3C4510B的特点,设计了以中断方式实现的实时特征采集系统,提升纸币识别系统的并发处理能力.在软件识别部分选取预处理之后的纸币图像的尺寸特征用模糊逻辑推理方法识别图像的面值,提取矩作为特征,采用RBF神经网络来识别纸币的正反面和正反向,并通过实验证明该系统的有效性和可行性.     

一种基于竞争层神经网络的新型图像轮廓线分组算法

提出了一种基于竞争层神经网络(CLNN)的新型图像轮廓线分组算法。该算法借助于CLNN对生物大脑视觉皮层侧向连接和WTA连接模式的功能性模拟,采用与生物神经元类似的视觉信号处理机制对图像的相应区域进行分组感知。实验证明,所提出的算法具有分组能力强、抗噪声能力突出的优点。     

计算机数据库管理技术探讨

计算机数据库系统是从信息系统中派生出来的,同时也是其中的一个重要组成部分。数据库系统中的数据库文件是其核心部分,所有的信息全都聚集在数据库文件上,存储和管理数据信息的重任都落在数据库文件上。文章从提出计算机数据库管理技术中存在的问题出发,分析问题找出原因,然后对计算机数据库的管理技术作出了自己的分析。     

《C#程序设计》课程教学改革探索

传统的教学方法以知识传授为主,采取“满堂灌”的授课方式,不能激发学生的积极性、主动性,使学生感到枯 燥无味。本文从教学内容、方法、手段等方面介绍了对《C#程序设计》课程所做的改革。通过改革,激发了学生学习积极性,提 高了实践能力,培养学生的职业素质。     

三星CT-M28型彩电电源原理及故障检修

<正> 本文介绍韩国三星公司推出的CT-M28型25英寸彩电的电源工作原理及其故障检修。 一、电源电路工作原理 CT-M28型彩电的机心的电源电路由防干扰滤波、桥式整流、滤波、开关电源启动等电路,开关变压器T801,开关管Q801,以及开关电源专用集成块IC801(TEA2261)和开关电源取样电路IC802(TEA5170)等组成。其原理图如附图所示。     

基于Offline-TTP的电子支付协议公平性分析

基于Offline-TTP的电子支付协议通常具有复杂结构,由多个子协议组合而成,与传统认证协议具有显著不同,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。     

灾难备份：企业生存必修课

信息系统遇到灾难后的恢复并不仅仅是针对信息系统的数据恢复和系统恢复,而是面向整个现代型企业的生存规划。它将接受来自各个方面的威胁和挑战,灾难恢复关注的不是灾难本身,而是预防灾难和应对灾难的方法。