【摘 要】
：
该文综述了离线电子现金系统的研究成果及其发展现状,改进了Brands及杨波等提出的利用防窜扰的Smart卡的电子现金系统,提出了一个新的利用Smart卡的公正的电子现金系统的设计
【机 构】
：
中国科学技术大学研究生院,中国科学院高能物理研究所计算中心
论文部分内容阅读
该文综述了离线电子现金系统的研究成果及其发展现状,改进了Brands及杨波等提出的利用防窜扰的Smart卡的电子现金系统,提出了一个新的利用Smart卡的公正的电子现金系统的设计方案.其主要工作是在Brands文的系统中增添了公正性,在特定的条件下,用户的匿名性可以被撤消.与杨波的文章比较,用户不需要到可信方处注册,并且用户的所有支付都是不可联系的,从而提高了系统的效率与安全性.其安全性与已有文献一样,都是基于随机Oracle模型与盲数字签名的限制性假设之上的.
其他文献
提出了一种新的能实现多种连续逻辑运算的神经元模型.利用该神经元模型可实现多种逻辑运算,包括一种从min(x,y)连续变化到max(0,x+y-1)的弱T范数簇,从max(x,y)到min(1,x+y)连
该文提出了一个有效的利用电子钱包的公正支付系统.系统中用户只拥有一个银行账号;提款时用户得到一个关于本人身份字的盲签名并向银行提供构造正确的供跟踪的信息;支付时用
问题现场描述变速器工作时，由于齿轮上有圆周力、径向力和轴向力作用，其轴要承受转矩和弯矩。其中作用于卡环槽上的轴向力直接加载在卡环上，这就使卡环和卡环槽的匹配显得很重要
11月22日，河北省政府第112次常务会议，研究通过了《河北省中长期动物疫病防治规划（2012—2020年）》。会议指出，动物疫病防治工作关系国家食物安全和公共卫生安全，关系社会和谐稳定，