关于公平交换协议中使用正交验证理论的安全性分析及改进

所谓公平交换协议是指,一个电子商务协议能保证交易双方在执行协议的过程中,任何一方通过欺诈行为、误传消息或者提前终止协议这些不公平方式,都不可能从另一方获取利益.要么任何一方都可以得到对方的信息,要么双方都得不到对方的信息.Ray等学者自2000年先后提出了一系列基于正交验证理论的公平交换协议.这类协议的重要贡献之一在于,基于正交验证理论,通过使用一对相容密钥分别对同一商品加密,使得在不泄露所购买商品的情况下,用户在付款之前能够对所购买商品的正确性进行验证,实现了使用离线TTP的优化公平交换协议.然而,通过对Ray协议进行安全性分析发现,恶意商家可以任意传送错误商品的信息也能轻易通过用户的验证,导致用户为之付款,即该验证过程是不安全的,最终导致该类协议退化为一个使用在线TTP的公平交换协议.另外,给出了改进方案,以避免上述攻击.     

基于虚拟化平台Xen的内核安全监控方案

虚拟化技术作为云计算的基础架构,其安全性随着云计算的发展越来越受到人们的关注.提出一种针对虚拟机系统内核攻击的入侵检测方案,借助Xen提供的虚拟化平台,来获取虚拟机系统内核运行情况,从而达到监视和防止内核被攻击的目的.该方案可以有效地防御来自动态修改内核代码和内核不变数据结构一类的攻击.     

多现场总线接口智能仪表设计

在不同现场总线的产品共存的自动化系统中,如何使新兴智能仪表与原有现场设备或未来更新设备在通信方面相兼容,已经成为一个现实问题.为此,提出了智能仪表中多现场总线接口技术.从硬软件方面研究了智能仪表中MODBUS、PROFIBUS和CANBUS三种现场总线通信接口,重点分析了设计中的关键问题,并结合电工仪表产品实现了三种现...     

一种新的指纹图像合成分割法

在研究和分析传统方差法和最大类间方差法的基础上,提出了一种传统方差法和最大类间方差法相结合的分块处理分割算法。该算法首先求出整个指纹图像的方差,然后计算每一子块的方差。若方差小于整个图像的方差则用方差法对图像进行分割,否则用最大类间方差法进行分割。最后再对图像进行平滑处理。实验结果表明,相对于传统分割方法,该方法无需根据经验选取阈值,能较准确地分割出前景和背景,抗噪能力强,对高对比度和低对比度的图像均具有很好的分割效果。     

系统测试平台的设计与实现

文章针对系统测试任务的工作性质和工作需求,首先分析了分布式实时应用系统的系统测试的特征和要求,并结合国际上软件发展的趋势,提出了管理者／代理系统测试模型。依据该模型提炼出可重用的评测支持系统（Evaluation and Test Supporting System,ETSS）作为系统测试平台,并从接口、管理、通信、同步、实时性和测试实施等几个方面阐述了ETSS的设计思想和原则,及其具有的基本功能。最后,以一个已实现的评测支持系统为例,介绍有关的实现情况。     

引导主流风潮——清华紫光UNISBOK S1000笔记本电脑试用手记

商业用户使用笔记本电脑主要是为了储存业务上的重要资料、制作简报或业务报告等。另外,通过笔记本电脑上网找资料、下载软件和收发电子邮件也已成为商业用户的必需。在这些常用的功能中,有时还会使用到视频软件或传真功能,这就要求笔记本电脑有更高的性能。由于用户对笔记本电脑的3D图形、多媒体应用、数据     

让打印机随人愿——联想LJ880激光打印机试用手记

目前,用户对于个人办公激光打印机的需求日渐明朗,个人办公激打市场日趋扩大。为此,联想根据个人办公激打应用现状,特别是个人办公打印存在的诸多问题和新兴需求,进行了全面、科学的调研分析,推出了一款全新的小型个人办公激光打印机——LJ880,以争取在更深层次上满足用户打印需求。这款新产品针对目前个人和小型办公打印的全面需求而设计,实现了打印质量的精美性、应用的简便性、价位的合理性等多方面的突破。     

单一尺寸矩形毛坯排样时长板的最优分割

讨论了存在剪刃长度约束时单一尺寸矩形毛坯的优化排样问题,将板材分割成多张子板,通过优化确定子板张数、各子板长度和毛坯在各子板上的排列,使事 板材中所含毛坯数达到最大;并对Agrawal提出的单一尺寸矩形毛了优化排样方法进行扩展,构造出一种分支定界方法,用于解决长板最优分割问题,实验计算结果表明,所述算法非常有效;最后给出了例题数据的排样结果,与企业的通常做法相比较,说明了采用本方法的节材潜力。     

浅谈IA架构服务器电源发展

一谈到服务器,大家脑海里反映出来的立刻是高性能处理器,大容量存储系统、RAID系统……,而为服务器提供动力、保证服务器稳定运转的电源系统往往被忽略。事实上,服务器的电源系统质量如何是服务器可靠性、可用性功能可否实现的根本基础。而且电源作为计算机的动力供应部件,跟主板、CPU、存储设备一样,也处于不断革新发展之中。     

基于MF-RC500的射频卡读写系统设计

MF-RC500完整的集成13.56MHz下所有类型的被动非接触式通信方式和协议,是一种先进的集成式射频芯片,本文设计一种基于MF-RC500的射频卡读写系统,系统主控制器采用具有超低功耗特性的MSP430系列微控制器.首先依据系统框图设计硬件电路系统,设计了MSP430f1232与MF-RC500的接口以及天线和EMC回路:另外设计了系统初始化程序及射频卡处理程序.该系统可读写Mifare Pro、Mifare One、Mifare Light等射频卡,具有一定的通用性.