两个eCK模型下可证安全的密钥交换协议分析

基于eCK(extended Canetti-Krawczyk)模型的定义,针对eCK模型下证明安全的两个密钥交换协议进行了分析.结果显示两个密钥交换协议在eCK模型中都是不安全的,其中SAKA(secure authenticated key agree-ment)协议不能抵抗临时密钥泄露攻击也不能抵抗长期密钥泄露攻击,并且不具有前向安全性.另一个SHY(Shi-Huang-Yang)协议不能抵抗两方临时密钥同时泄露的攻击.     

基于密文策略多机构属性基加密方案

Chase提出multi-authority attribute based encryption方案的安全性完全受限于Center Authority(CA)的可信性,为解除该限制,本文提出基于密文策略多机构属性基加密方案,通过结合密文策略思想去除了CA.通过引入树形访问策略及Shamir秘钥安全共享技术,实现了共享信息细粒度灵活访问控制并支持系统属性的有效撤销.安全性分析表明了本方案在标准模型下是适应性选择明文安全(CPA)的.     

基于多线性映射的可公开验证加密方案

为提高可公开验证加密方案的安全性,提出一种标准模型下基于多线性映射的可公开验证加密方案.通过用户公钥验证密文中陷门的合法性,结合多线性映射性质实现可公开验证,使用一次签名算法提升方案的安全性,并进行了安全性证明.分析结果表明,该方案是标准模型下选择密文攻击安全,不需要用户的私钥就能对密文进行验证,在安全性上有很大提高.     

基于simhash的密文同义词检索方法

为了解决现有的密文检索方案计算量过大,且无法支持同义词检索等问题,通过对现有的明文同义词检索方案和现有的密文检索方案进行研究,在安全KNN(k-nearest neighbour)方案的基础上提出一个支持同义词检索的密文模糊检索方法.该方法通过将现有明文同义词检索方案中的全扩展算法与安全KNN方案相结合,实现了在密文环境下的支持同义词检索的方案.同时,本文通过改进的simhash算法提高了安全KNN方案的效率.通过实验对比,可以看出本文提出的方案能够在对精确度降低很小的情况下,提升密文检索的效率,降低存储使用的空间.     

PVOP：隐私保护和可验证的深度神经网络预测外包

外包的预测范式引起了各种安全问题,为了解决客户端和模型提供者的隐私问题以及云服务器缺乏可验证性的问题,提出了一个为深度神经网络预测外包提供隐私保护和可验证性的双服务器框架PVOP。在sum-ch基于加性秘密共享和D-A乘法协议的变体为深度神经网络预测外包提供隐私保护。由于本文采用不共谋的双服务器系统模型,所以可以利用加性秘密共享技术实现客户端和模型提供者的隐私保护。基于D-A乘法协议的变体实现加性共享份额的相乘。将新设计的交互式证明协议与D-A乘法协议的变体相结合,为深度神经网络模型设计了新的安全协议,在预测外包范式中实现了隐私保护和可验证性。在MNIST和CIFAR-10数据集上的实验验证了本文提出的方案。实验结果表明,大多数最先进的隐私保护类解决方案的时间开销是PVOP的1.6至247.0倍,通信开销是PVOP的1.3至27.7倍。     

一种基于身份的匿名无线认证协议

针对移动用户漫游时需进行匿名认证问题,利用双线性对和椭圆曲线的相关特性,提出了一种基于身份的匿名无线认证协议.并对该协议的安全性和匿名性进行了详细分析,给出了移动用户匿名性在非认证链路模型下安全的形式化证明.分析表明,该协议实现了用户与接入点的双向身份认证和移动用户身份的匿名性,满足无线网络环境的安全需求.与同类协议相比计算量大幅减少,为匿名无线认证提供了一种较实用的解决方案.     

基于多线性映射的可撤销属性基加密方案

针对现有的可撤销属性基加密方案密钥量过大且不稳定和效率不高的缺点,本文提出了一种新的基于多线性映射的撤销方案.该方案基于多线性映射问题,并将公钥广播加密与密文策略的属性基加密相结合,设计两层密文.效率分析表明,该方案达到了私钥和更新密钥的固定量级,提高了效率;在可选择的撤销列表模型下,基于3重多线性Diffie-Hellman Exponent((3,N)-MDHE)假设,证明了方案是选择明文攻击安全的.     

一个基于SOAP消息的Web服务综合安全模型

在通用Web服务模型的基础上，提出一种基于SOAP（简单对象访问协议）消息的Web服务综合安全模型．其中增加两个功能模块：Web服务安令平台，用来生成管理密钥对、数字证书和Web服务双方的身份认证；SOAP消息安全代理包，用来保障Web服务消息的安全性．利用现有的工具包对模型进行了实现，并在一个具体的系统平台上对其进行了安全性测试，结果表明对SOAP消息加密成功，同时实现了证书、密钥的发放和管理．保证了Web服务在一个安全的环境中运行．     

一种基于身份的全同态签名方案

全同态签名方案在可验证外包计算等领域具有重要应用,但目前人们还没有提出基于身份的全同态签名方案.因此,本文给出了基于身份的全同态签名方案的安全定义,基于格问题构造了一个基于身份的层次型全同态签名方案,在标准模型下基于小整数解问题难解性严格证明了所提全同态签名方案满足选择性身份与选择性消息数据集合攻击下的存在性不可伪造性.     

基于陷门搜索的条件代理重加密方案

为实现对数据细粒度且可扩展的访问控制,通过引入陷门搜索实现快速的条件匹配,提出一个高效的、可用于多条件以及"与"和"或"的复杂组合条件的代理重加密方案,较大地提高了条件代理重加密的效率,可实现高效的按需授权和撤销操作以满足用户对数据的细粒度访问控制需求.同时还引入强一次性签名算法以保证加密过程的安全性,最后在随机预言机模型下证明其在3-QDBDH假设下可抵抗选择密文攻击.     

晶体与建筑

简述了矿物晶体与建筑的相似性，重点地阐述了晶体形态在建筑物外部体形设计中的应用，如水晶式建筑、绿柱石式建筑、电气石式建筑、晶簇式建筑、双品式建筑、浮生式建筑、平行连生式建筑和镶嵌式建筑。晶体式建筑具有天然美的造型，合理的力学结构，良好的抗震性，较好的采光、通风，占地少，节省建筑材料，宜于建筑的高层化等优点。     

自建ASP组件获取Access位图并显示于Web页技术的研究

通过建立及实现ActiveX DLL，介绍了用ASP（Active Server Pages）技术从Microsoft Access 97数据库中获取位图并在Web页中显示的具体方法。     

专著《几何不等式新进展》的补遗(Ⅰ)(英文)

本文综述了专著 AGI 出版后几何不等式的最新进展,尽可能全面地收集了1987—1990年间的有关文献,更多地反映了中国数学家的工作成果。     

拟除虫菊酯的敏化光降解研究Ⅱ.有机过氧自由基光氧化的动力学特征

研究了氯氰菊酯在苯乙酮作用下的光解动力学规律以及探针性物质２，６－二叔丁基－４－甲基苯酚，１，２，３，４－四氢萘对苯乙酮敏化作用的影响．结果表明，随着苯乙酮浓度的升高，氯氰菊酯的光解速率常数略呈上升趋势，而且氯氰菊酯的光解速率与自身浓度变化无关；溶剂分子的偶极矩越大，与溶液中自由基的作用越强，氯氰菊酯光解速率就越小；在苯乙酮敏化体系中，与ＲＯＯ·相比，ＲＯ·的浓度很低，ＲＯＯ·的稳态浓度约为１０－８ｍｏｌ·Ｌ－１，这个浓度也比单线态氧的稳态浓度高得多     

带电极压电晶体板厚剪共振频率的精确确定及其在谐振器设计中的应用

确定带有电极的石英晶体板的厚剪共振频率在石英晶体谐振器的设计和加工过程中有着实际意义，特别是目前频率的不断增高使得谐振器的厚度已经减小到不得不考虑电极效应的程度．由于电极的相对刚度不可忽视，只考虑电极质量效应的频率计算方法则需要进行修正．基于一个熟知的无限大晶体板的厚度频率的确定方法，得到了晶体板及考虑到压电效应的用弹性常数和密度表达的频率方程．根据谐振器设计中常用的材料来求解频率方程，我们可以在设计过程中精确确定设计参数，从而减少修正次数．由于这些方程和结果对大多数材料都是适用的，保证了这一方法可以相对容易的与现有的石英晶体谐振器和设计和制造过程结合．     

微分脉冲溶出伏安法结合化学计量学测定3种农药

代森锌、代森锰和除草通在汞电极上采用微分脉冲溶出伏安扫描时均具有良好的还原峰,但各个组分的伏安峰之间呈现严重的重叠,在不分离的情况下很难进行测定。讨论3种农药在汞电极上的还原反应机理,并采用化学计量学方法对重叠伏安波进行解析和定量分析,结果表明,偏最小二乘法能得到最好的结果。选择萃取率较大的三氯甲烷作为萃取剂,对几种蔬菜水果样品中的农药进行萃取分离,并用提出的方法进行分析,回收率在99%~104%之间。     

ICP-AES研究负载奎宁树脂对金、铂、钯的吸附

利用奎宁能与贵金属的络阴离子发生络合作用的性质,将其负载到阳离子交换树脂上,制得奎宁负载树脂（ Ｑ Ｃ Ｒ） ．以 Ｉ Ｃ Ｐ Ａ Ｅ Ｓ为检测手段,详细考察了吸附材料在静态吸附条件下对贵金属络阴离子的富集分离性能．结果表明, 在盐酸（０．１～３．０ ｍ ｏｌ／ Ｌ） 溶液中,负载奎宁树脂的化学稳定性好．以０．１ ｍ ｏｌ／ Ｌ的 Ｈ Ｃｌ为吸附介质,贵金属 Ａｕ、 Ｐｄ、 Ｐｔ可实现定量分离富集,吸附于奎宁树脂上的贵金属可用０．１ ｍ ｏｌ／ Ｌ 的 Ｈ Ｃｌ－ ２ ｇ／ Ｌ 硫脲混合淋洗液完全解脱．方法用于抗癌药物及催化剂中 Ｐｔ、 Ｐｄ 的富集分离与测定,分析结果满意     

公交查询系统优化设计及应用

公交出行已渐渐成为新时代的环保、时尚的出行方式,人们常常需要利用手机或网站查询公交信息指导出行,如何设计一个准确快捷的公交查询系统就成为一个非常现实和有意义的课题。根据当前公交查询需求的实际设计了一套优化的公交查询系统,运用在网站实践中取得了较好的效果。     

弱拉回平坦序S-系对序幺半群的刻画

设S是序幺半群,借助环模理论以及半群S-系理论方法,在序S-系范畴中研究了弱拉回平坦性质。刻画了弱拉回平坦序S-系关于直积封闭的序幺半群类以及弱拉回平坦性质与其他性质一致的序幺半群类,讨论了循环序S-系具有拉回平坦覆盖的条件,进而推广了S-系的一些重要结果。     

基于模糊聚类的构件检索方法

在构件的检索过程中,由于用户对于构件的描述形式或者机制不是很理解,因此很难把自己的需求以专业的术语或者表达形式表示出来,从而影响了检索的效率。引入了刻面权重的定义,将用户的需求有效的具象化,并提出了基于模糊聚类分析的构件检索方法,利用一定的聚类准则将构件库里的构件集合划分为不同的类别,降低构件检索的规模,提高构件检索的效率,同时具有较好的查全率和查准率。实验结果证明了该方法的可行性与有效性。