适用于远程医疗信息系统的身份认证协议

远程医疗信息系统中,身份认证是确保患者和医疗服务器之间安全通信的有效机制。对Sutrala等基于口令的适用于远程医疗信息系统的用户匿名认证协议进行了安全性分析,指出其协议不能抵抗离线口令猜测攻击、中间人攻击,不具备前向安全性。基于扩展混沌映射提出了一个新的三因素匿名用户身份认证协议,新协议克服了Sutrala等协议的安全漏洞。利用BAN(Burrows-Abadi-Needham)逻辑对提出方案进行了形式化证明。此外,安全分析表明,新的协议能够抵御各种恶意攻击,适用于远程医疗环境。     

基于可信计算平台的统一认证系统模型

将数字证书技术、认证代理技术和可信计算技术相结合,针对园区网环境,提出了一种基于可信计算平台的统一认证系统模型,该模型通过在计算终端引入可信平台模块、对用户身份统一认证、对计算平台进行身份及完整性验证等方法,解决了存在多个应用系统时口令容易混淆、访问效率低下和终端的可信性难以保证的问题.系统的安全性分析和测试结果表明,用户只需一次认证,即可访问其拥有权限的多个应用系统,效率和安全性得到了很大的提升,而且可以保证终端的可信性.     

可信授权技术的研究和实现

针对认证和授权脱离，给系统留下了缓冲区溢出攻击导致认证机制被旁路的安全隐患问题．提出了可信授权的思想，将用户的认证可信度作为授权的基础，使用户获得的授权是真正可信的，从而避免认证机制被旁路造成的危害，并且能真正实现管理员分权．同时本文基于Kylin操作系统安全版的角色定权框架，给出了可信授权的实现技术和途径．     

基于策略和虚拟机技术的动态远程证明框架

针对现有可信计算中远程证明方案的不足,将虚拟机技术和策略相结合,提出并实现了一种新的远程证明框架.该框架在用户终端构建可信虚拟机向应用系统提供可信的执行环境,服务方可以制定灵活、细粒度的策略,并借助于可信虚拟机来分发和执行这些策略,从而保证终端平台的行为符合服务方的要求.通过相关分析和模拟实验,结果表明:该框架町以开放地允许更多的软件实体接入,并具有良好的实时性、动态性、灵活性,真正实现了基于行为的远程证明.     

多答案保护秘密共享协议

针对目前基于口令解决区块链私钥丢失问题的方案中面临的口令遗忘和泄露的问题,提出一种基于密保问题的多答案保护秘密共享方案（multi-answer protected secret sharing,MAPSS）。该方案允许用户将一个秘密共享给多个服务器,并令所有服务器存储多个密保问题,之后用户仅需向部分（阈值）服务器提供部分（阈值）密保问题的答案就能重构该秘密。该方案不仅可以用于区块链私钥找回,还支持抗遗忘和泄露的找回策略;该方案无需公钥基础设施且高效。在随机预言机模型下证明了该方案的安全性基于Threshold Parallel One-More Diffie-Hellman (TP-OMDH)假设,实现了该方案的系统原型,验证了该方案的实用性。     

面向云环境的敏捷物联网应用开发平台研究

针对物联网硬件设备多样性、差异化、开发环境部署繁琐过于复杂的问题, 本文设计并实现了面向云环境的敏捷物联网应用开发平台. 该平台包括应用层、服务层以及设备层, 具有在线编程、远程下载、自动运行等功能. 并且针对远程下载功能, 设计并实现了一套基于MQTT协议的代码在线推送方案及配套实验套件; 针对用户及设备安全性问题, 设计了一种基于TEA加密算法的动态口令认证方案. 实测表明, 平台实现了预期功能, 达到了降低用户学习门槛以及提高开发效率的目的.     

可证安全的Internet密钥交换协议

针对IKEv2初始交换存在认证失败和发起者的身份暴露问题，提出了一种改进协议．新的协议采用SIGn-and-Mac认证方法来完成显式密钥认证，并且在协议中让响应者首先证明自己的身份，实现对协议发起者的主动身份保护．同时协议双方在自己发送的消息中包含期望的消息接收者来防止认证失败．另外协议中还引入了不可否认性，使得协议交互双方对自己发送的消息内容不可抵赖．分析表明：新的协议在Canetti-Krawczyk模型中是会话密钥安全的，并且性能上相对于IKEv2仅仅增加了一次对称加密运算，大大优于IKEv1．     

基于认证公钥的抗合谋攻击加密方案

针对Gentry基于认证的公钥加密方案不能抵抗拒绝服务攻击和合谋攻击的问题,改进并优化了基于认证公钥加密方案,给出了该方案的安全模型、具体算法和标准模型下安全分析.在该办案中,用户利用第三方对其公钥和/或身份的认证对自选公钥进行签名;在加密消息前加密者将验证接收方对自选公钥的签名;公钥发布者如果没有合法授权将不能给出正确的签名,在保留Gentry方案优势的条件下能拒绝服务攻击和抵抗合谋攻击.     

具有消息链接的可转换的认证加密方案

当前多数认证加密方案存在以下问题:1)当签名者否认签名时,接收者不能向其它验证者证明签名者的诚实性;2)当消息很长时,通信代价和计算代价将会很大,为了解决这些问题,设计出一种可转换的消息链接认证加密新方案,与其它消息链接认证加密方案相比,该方案通信代价和计算复杂度都比较小,并且在该方案中,当签名者否认签名时,接收者在没有签名者合作的情况下,可单独将该认证加密签名转换为一段签名.     

对ARAP认证协议的攻击及其改进

分析了射频识别（RFID）系统中匿名RFID认证协议（ARAP）存在的安全缺陷,指出攻击者可利用该协议存在的异或运算使用不当的安全缺陷发起身份假冒攻击.为此,提出了一种改进的RFID双向认证协议,该协议修改了ARAP认证协议中部分异或运算和验证操作,仍采用假名机制提供隐私性保护,防止攻击者对标签进行跟踪.结果分析表明,改进后的协议具有双向认证、前向安全性和匿名性等安全属性,并能够抵抗冒充、跟踪和重放等攻击.同时,性能对比分析表明改进后的协议具有比较好的效率,实用性较强.     

晶体与建筑

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

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

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

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

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

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

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

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

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

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

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

载体对负载型Zn催化剂上愈创木酚加氢脱氧(HDO)性能的影响

以SiO₂、Al₂O₃和HZSM-5、Re-HY分子筛为载体,以Zn为主要活性成分,研究了不同类型载体以及不同Si/Al比的HZSM-5分子筛负载Zn催化剂的愈创木酚加氢脱氧(HDO)反应性能。结果表明,催化剂的酸性是影响其加氢脱氧活性和产物选择性的主要因素,并且愈创木酚加氢脱氧转化为环己烷、BTX（苯、甲苯、二甲苯）等完全脱氧产物的活性,与催化剂的总酸量、酸中心强度具有一定的相关性。     

中国近海背楣目、囊舌目（软体动物）区系的研究

中国近海共有背楣目、囊舌目软体动物30种，隶属于7科15属，主要分布在浙江以南的热带、亚热带海区，有些种类向北可以分布到达黄、渤海，部分种类仅分布于黄、渤海．区系性质属于印度-西太平洋区的中国-日本亚区．     

蘑菇培养料中微生物的研究

本文对蘑菇培养料中分离获得的霉菌、放线菌和细菌进行鉴定和对其生理、生化特性进行测定,对某些菌株在蘑菇生长过程中的作用及作用规律也作了研究.通过研究,初步认为在放线菌和霉菌中有数株菌株对蘑菇的生长有直接或间接的促进作用     

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

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