基于组件属性的远程证明

提出了一个组件级的细粒度属性证明方案,用于向远程依赖方证明用户平台满足某种安全属性.与现有的远程证明方案相比,组件属性远程证明具有一定的语义和属性表述性等优势.该方案不但证明粒度细和扩展性强,而且属性证书的颁发、验证和撤销实现简单;本方案以组件承诺的方法保证属性证明的真实性,采用零知识证明实现平台组件的隐私性.基于强RSA假设,在Random Oracle模型下可被证明是安全的.实现的原型系统实验结果表明,组件属性证明是一种灵活、实用、高效的证明,对系统性能没有影响.

签密方案在分布式协议中的应用

该文基于可验证秘密共享思想和对Zheng的签密方案的必要修改，首次构造了一种不需要可信中心的门限签密方案．它能同时达到门限签名和加密的双重目的，实现代价仅和门限签名相当，并具有非否认性质．该文对当前一些分布式密钥分配协议做了分析，并基于Naor的基本思想，重点利用签密方案设计了协议SC—DKDS．与其它协议相比，该协议在减低实现成本等方面更为有效，因为它不需要认证信道、秘密信道及复杂的零知识证明等．该文还在RO（Random Oracle，随机预言）模型中给出了以上协议的安全性证明．

可证明安全性理论与方法研究

论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用，内容主要包括：什么是可证明安全性，可证明安全性理论涉及到的一些基本概念，RO（randomoracle）模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展，标准模型下可证明安全性理论在公钥加密和数字签名等方案中的应用研究进展，以及可证明安全性理论在会话密钥分配协议的设计与分析中的应用研究进展．

指定验证方的门限验证签名方案及安全性证明

Laih提出了指定验证方的签名方案设计问题，并给出一种解决方案．首先分析指出该方案存在严重安全缺陷，然后提出了签名方案SV-EDL，解决了如上密码学问题.同时，把可证明安全理论引入这类方案的分析设计，并在RO（random oracle）模型中证明：SV-EDL的抗伪造安全性和计算Diffie-Hellman（computational Diffie-HeUman,简称CDH）问题紧密关联，亦即伪造SV-EDL签名几乎和解决CDH问题一样困难；除指定方以外，任何人验证签名的能力都与决策Difile-Hellman（decisional Diffie-Hellman,简称DDH）问题密切相关。由于CDH问题和DDH问题的困难性与离散对数（discrete logarithm，简称DL）问题紧密相关已成为广泛共识，因此与当前同类方案比较，该签名方案提供了更好的安全性保证．此外，上述签名方案还以非常简明、直接的方式满足不可否认要求最后提出并构造了验证服务器系统的门限验证协议，并在标准模型中给出了安全性证明．该方案不要求可信中心的存在．

基于单向陷门置换的长消息签密方案

在随机Oracle模型的基础上, 提出一种基于单向陷门置换（trapdoor permutations, TDPs）的、可并行的、长消息签密方案——PLSC （parallel long-message signcryption）. 该方法采用“整体搅乱, 局部加密（scramble all, and encrypt small）”的思想, 用一个伪随机数对要传送的消息和用户的身份（ID）进行“搅乱（scrambling operation）”, 然后对两个固定长度的小片段（并行地）进行单向陷门置换（TDP）操作. 这种设计使得整个方案可直接高效地处理任意长度的消息, 既可避免循环调用单向陷门置换（如CBC模式）所造成的计算资源的极度消耗, 也可避免由“对称加密方案”与“签密方案”进行“黑盒混合（black-box hybrid）”所造成的填充（padding）冗余. 不仅可以显著地节约消息带宽, 而且可以显著地提高整体效率. 具体地说, 该方法对任何长度的消息进行签密, 仅需进行一次接收方的TDP运算（相当于加密）, 以及一次发送方的TDP运算（相当于签名）, 从而最大限度地降低了TDP运算的次数, 提高了整体的运算效率. 因为, 对于公钥加密算法来说, 运算量主要集中在TDP运算上, TDP运算是整个算法的瓶颈所在. 另一方面, 由于避免了填充上的冗余, 新方案的效率也高于标准的“黑盒混合”方案.重要的是, 新方案能够达到选择密文攻击下的紧致的语义安全性（IND- CCA2）、密文完整性（INT-CTXT）以及不可否认性（non-repudiation）. 而且所有这些安全要求都可以在多用户（multi-user）、内部安全（insider-security）的环境下得以实现. 另外, 尽管新方案主要针对长消息的签密, 但它也可应用于某些不能进行大块数据处理的环境（智能卡或其他只有少量内存的环境）. 也就是说, 对于这些小内存设备来说, 仍然可以用该方案来实现长消息的签密处理.

生态研究数据库系统的设计与开发

列表类型数据是生态研究中最为常见的数据形式。在分析列表类型数据特征及其与元数据关系,数据安全和共享策略等问题基础上,提出了生态研究列表类数据管理系统设计和开发方案。研究认为数据集的元数据不仅是对数据集实体的说明,而且一定程度上决定着数据集实体的内容和数量,以及数据集实体之间的内在联系,这种联系正是进行列表类型数据管理依据所在。

基于分布式内存数据库的HIRFL-CSR真空监控系统

This paper introduced a real-time vacuum monitor system based on multilayer Web architecture for HIRFL-CSR(Heavy Ion Research Facility of Lanzhou & Cooler Storage Ring) project in Lanzhou.It combined with COM/DCOM to develop the application layer,and developed the web layer with ActiveX and Ajax technology.It provided a facility and efficiency method for real-time control.The application shows that this system runs stably and accurately.中文文摘：简要介绍了国家"九五"重大科学工程——兰州重离子加速器冷却储存环(HIRFL-CSR)真空监控系统的总体结构,分析了在Web构架下,基于分布式内存数据库的多层真空监控系统的实现方法。采用分布式内存数据库,解决了基于Web构架的分布式实时应用环境下对系统和网络资源的消耗问题。在软件控制方面采用了统一调度,既简化了软件实现过程,又提高了系统的安全性、高效性和易维护性。该系统已成功运行。

冷却存储环虚拟加速器的数据交互系统

介绍了兰州重离子加速器冷却存储环(HIRFL-CSR)为重离子治癌而改造的控制系统中的数据交互系统,数据交互系统是CSR虚拟加速器的核心。该系统能实现对256个能量级的束流控制,为以后深层重离子治癌做好准备。系统主要采用Java,COM,Oracle,ARM,DSP,FPGA等技术实现了对磁铁电源的实时、同步控制,已达到对束流的控制及束流在不同能量级间的切换控制。该系统已经运行于冷却存储环主环(CS-Rm)的束流慢引出调试中,性能稳定,能满足物理人员的要求。

重离子加速器束运线数据库系统设计优化

描述了兰州重离子加速器冷却储存环(HIRFL-CSR)束运线电源参数数据库系统的设计优化。依托HIFEL-CSR的主数据库系统Oracle,设计了电源电流的读取界面,实现电源的实时监控,建立了新的电源参数数据库分系统,并实现了Oracle数据库系统和Access数据库系统的数据互存,建立了方便的参数打印、查询界面。

CSRe团簇内靶的真空与分子泵监测系统的设计

介绍了国家重大科学工程项目——兰州重离子加速器冷却存储环(HIRFL-CSR)的实验环(CSRe)团簇内靶真空与分子泵监测系统。该系统主要通过一个应用程序获取各真空规及分子泵的状态值,并存入、更新Oracle数据库。浏览器上的ActiveX从Oracle中读取各设备状态值进行显示,如果状态值在警戒范围,则做出相应的控制操作。该系统在实验测试中运行良好,能满足实验的要求。

CSRe与RIBLLⅡ实时数据交互系统

介绍了国家重大科学工程项目——兰州重离子加速器冷却存储环(HIRFL-CSR)的实验环(CSRe)以及RIBLLⅡ的子系统——实时数据交互系统。该系统主要实现对前端电源设备的实时同步控制,具体的实现方法是从控制Web界面输入的前端控制设备所需的数据信息传送至中心Oracle数据库,再更新至前端服务器的Oracle数据库,随后传送至ARM板中的sqlite数据库,给DSP板提供输入数据信息,通过同步触发事例对电源设备进行同步实时控制。该系统正在RIBLLⅡ的测试中,运行正常、可靠性强、性能稳定。

HIRFL-CSR嵌入式数据库的设计实现

本文论述了用于兰州重离子加速器冷却储存环(HIRFL-CSR)控制系统的嵌入式数据库的设计和实现方法。控制系统采用三级数据库实现集中管理、分布式控制。前两级基于Windows平台,采用Oracle数据库通过ODBC进行互联,第三级根据控制系统的需要,采用基于嵌入式Linux平台的SQLite数据库引擎通过高速互联网与前两级交换数据。中控室预先将波形数据、事例表等分散存储到前端嵌入式数据库中,实验时,再由嵌入式数据库将数据传递给波形发生器DSP。在同步触发的控制下,DSP根据得到的波形数据产生所需的控制波形,进而控制电源、控制磁场,达到实验目的。

基于COM的HIRFL-CSR电源远程监控系统

本文介绍了兰州重离子加速器冷却储存环(HIRFL-CSR)最新改造后的电源远程监控的总体设计,包括硬件和软件方面的设计。该系统采用了COM组件实现前端服务器Oracle数据库与前端被控设备数据的交互,以及WEB服务器与中心Oracle数据库的数据交互,实现了控制人员对设备的远程监控。这样有利于对电源设备状态的实时监控,以及电源系统与各子系统的数据交互。该系统已经在现场经过测试,性能稳定。

RIBLLⅡ与CSRe中束流控制系统的设计

介绍了兰州重离子加速器冷却存储环(HIRFL-CSR)的实验环CSRe以及次级束线RIBLLⅡ中束流控制系统的设计。该系统主要采用了Java,COM,Oracle,ARM,DSP,FPGA等技术实现了对磁铁电源的实时、同步控制,已达到对束流的控制。该系统已经运行于现场的束流调试中,并在RIBLLⅡ的束流调试中运行正常、性能稳定。