【摘 要】
：
本文提出了一个新的数字签名方案，它通过判定验证值是否满足一个不等式的方式来验证签名的合法性，实质是等式验证的进一步推广．新方案在理论分析上是安全的，并具有较大的实用价值
【机 构】
：
上海交通大学计算机系!上海200030,西安电子科技大学ISN国家重点实验室信息保密所!西安710071,西安电子科技大学ISN国家重点实验室信息保密所!西安710071
论文部分内容阅读
本文提出了一个新的数字签名方案，它通过判定验证值是否满足一个不等式的方式来验证签名的合法性，实质是等式验证的进一步推广．新方案在理论分析上是安全的，并具有较大的实用价值．
In this paper, a new digital signature scheme is proposed, which verifies the validity of the signature by determining whether the verification value satisfies an inequality. The essence is the further promotion of equality verification. The new scheme is safe in theoretical analysis and has great practical value.
其他文献
简要介绍了IEC 61970系列标准及其公共数据模型(CIM)和组件接口规范(CIS),以及CIM中的类和类间的关系,分析了IEC 61970系列标准对能量管理系统(EMS)应用的要求以及现有EMS的
介绍一种利用调度自动化SCADA系统开发完成的电网载波通信监测系统。一般来说,载波监测系统的建立应符合以下两个原则:一是监测系统的成本造价必须低于被监测设备;二是监测设备的运行可靠性必须远大于被监测系统的可靠性。在建立监测系统时,对于载波设备相对较集中的220kV站一般容易解决,但对于分散在各地的载波设备进行全方位地监测,则有一定难度。而利用现有成熟的SCADA系统对载波设备进行监测,可以很好地解
提出了两种测量内燃机转速波动信号的简易方法 ,探讨了提高测量精度的途径 ,介绍了用于内燃机故障诊断的一些测量和应用实例 ,给出了相应的特征提取和故障识别方法。
Two si
介绍了上海香港广场深基坑围护结构的设计、施工与现场量测结果 .在建立围护结构计算的有限元分析模型和编制相应计算程序的基础上 ,对围护结构的变形进行了三维有限元分析与
分析了氧化铝细粉的结构,利用球磨与振动磨制备了不同分散度的氧化铝,并研究了氧化铝的细度和结构对电瓷性能的影响.
运用图像处理技术、超媒体技术和专家系统、基于实例推理等人工智能技术， 设计并实现了智能电脑刺绣集成环境ＩＣＥＥ． 它将刺绣编程、图案装配和刺绣知识咨询等系统集成在一起， 实现了图案设计、输入、编程、优化和数据转换的一体化和自动化， 能产生高质量的绣品数据样板， 提高电脑刺绣的效率．
在信号去噪声中 ,要同时去除脉冲噪声和白噪声 ,并保持信号的突变现象 ,有一定的困难。研究了左预测和右预测 ,及交叉有效 (CV)平滑法 ,并证明了 CV平滑中的两个限制条件。提
介绍了适用于脉冲功率技术大容量电容器组快速高效充电的一种变频恒流高压电源 ,它采用三相半控晶闸管桥式整流 ,经由两只开关管、储能电感、续流二极管和霍尔电流传感器构成
ＣＡＤ系统对方案设计支持的关键是建立独立于几何细节而又表达功构关系的装配模型．本文试图运用逻辑装配单元的定义来实现产品功能需求和结构表现间的有效关联，分别讨论了方案设计中功能描述和几何构形表示方式，形式化表达了方案设计的逻辑造型和装配建模过程，给出了支持自顶向下方案设计的装配模板定义，为方案设计的计算机辅助实现作了有益的尝试
智能化是 CAD/CAM系统的一个重要发展方向。本文以特征设计和制造为基础 ,把专家系统的有关知识合理地运用到计算机辅助制造中。提出了基于制造特征和制造技术知识库的 CAM系统框架 ,主要研究了制造特征的定义和分类 ,制造技术和知识库的设计和知识表达 ,并在已有的CAD/CAM系统中实现和应用 ,极大地提高了数控代码的生成效率和质量。