带权强分离信任委托路径搜索*

在委托证书路径搜索和一致性证明时,在Keynote提出的证书图的基础上,采用有向图中深度优先遍历的思想以及图的动态特性,提出了一种新的一致性验证算法,通过找出一条最佳的带权分离委托路径可以表达否定安全凭证,同时通过有向图的搜索边标记提高搜索效率并有效避免回路循环搜索的问题.     

可信模块隐私保护的自证明签密方案

提出可信模块间安全通信的一种高效的基于自证明公钥的签密方案IDTSC,它可以抵抗不诚实CA的消息伪造攻击和共谋攻击,且中间人在获得密文后如果没有接收方密钥则无法知道和验证密文的签密者和接收者,实现密文的匿名性。给出了系统模型并证明了其安全性,包括语义安全性、不可伪造性、密文匿名性和不诚实CA的可追踪性。方案可应用于要求身份隐藏和身份隐私保护的安全传输环境。与其它相似方案比较,IDTSC方案有更强的安全性和更高的计算效率。     

医疗大数据隐私保护多关键词范围搜索方案

随着医疗信息系统的急速发展,基于医疗云的信息系统将大量电子健康记录（EHRs）存储在医疗云系统中,利用医疗云强大的存储能力和计算能力对EHRs数据进行安全与统一的管理.尽管传统加密机制可以保证医疗数据在半诚实云服务器中的机密性,但对加密后的EHRs数据执行安全、快速、有效的范围搜索,仍是一个有待解决的关键问题.提出一种支持多关键词范围搜索的可搜索加密方案：利用向量积保持加密机制实现复杂查询结构的可搜索加密,可支持连接关键词查询、范围查询以及通配符的查询;通过随机化构建搜索索引和搜索陷门,实现搜索模式隐藏,达到搜索语句的隐私保护;采用矩阵哈达马积缩小所需密钥矩阵的维度.理论分析和实验结果表明：该方案在达到医疗数据隐私保证的同时,对用户的检索策略也进行了有效的隐私性保护,有效提高了检索效率,降低了创建索引及陷门所用时间,实现了多用户多文件下医疗数据的范围搜索能力.     

基于GPU的域乘法并行算法的改进研究

文章介绍了GF(2m)域乘法运用CUDA编程语言在GPU(Graphic Processing Unit)上的并行加速的一般算法,并提出同样运用CUDA在GPU上实现的新型GF(2m)域乘法NPU-MUL并行算法,相较前者,该算法减少了大量对GPU全局存储器的原子操作。通过在NVIDIA公司的显示卡GeForce GTS 250上实现两种算法,表明NPU-MUL的运行时间是一般域乘法的运行时间的五分之一。     

内燃机车燃烧系统性能评估与预测

提出一种内燃机车燃烧系统综合性能评估和预测的新方法;燃烧系统的工作性能由柴油机功率、燃油消耗率、燃油压力、增压压力和排气温度等热工参数决定,介绍了有关参数的测量与计算,利用模糊理论对燃烧系统进行性能评估,利用灰色神经网络对燃烧系统的性能进行预测;该成果应用于株洲电力机车研究所研制的内燃机车状态监测与诊断系统,实际评估和预测结果验证了采用模糊理论进行性能评估和利用神经网络进行预测的可行性与有效性,与机车的其它诊断方法比较,能更全面地评估和预测燃烧系统的状态,为内燃机车检修提供了可靠依据。     

HTTP代理服务系统的实现与分析

论述了HTTP代理协议的实现过程,并就HTTRP代理的身份认证和缓冲机制作出分析研究和探讨。     

网络电话话音编解码的实现和分析

分析了网络电话话音压缩的算法原理,并在此基础上分析了实际设计的IP电话系统的话音编码过程。     

改进OTP技术在FTP代理认证中的分析与实现

一次一密OTP是实现网络密码认证体制的重要方式之一 ,本文分析了OTP技术的实现原理 ,在此基础上提出了一种更可靠的OTP安全认证方案 ,阐述了它在FTP代理认证中的实现机制 ,它将客户端的IP地址和端口号加入到不确定因子中 ,使登录过程更安全     

信任委托证书图搜索研究

分析了分布式信任管理的证书结构反证书授权模型，包括线性链式授权、门限授权、条件授权和复合证书授权等，探讨了不同模型下的证书表达与证书链处理机制．提出了基于有向无环图DAG的证书图结构，并对利用DAG表达证书图作出证明。在证书链的搜索算法中。通过对多重边的有向无环图用深度优先和广度优先算法结合实现对证书链的搜索，避免证书图中产生的环形链而导致低搜索效率问题。     

嵌入式附网刻录系统的设计与实现

设计并实现了一个基于虚拟本机刻录的嵌入式附网DVD刻录系统。详细介绍了这个系统的整体设计方案，着重介绍了基于“生产者和消费者”模型的三级缓冲结构和缓冲区管理策略，并进行了相应的实验测试和性能分析。