开放式Web平台可信性:问题与对策

对近期出现的开放式Web平台共性特征进行了分析,提出了开放式Web平台由于其系统架构,在可用性、安全性及隐私性等方面存在的问题,并通过实验证明了上述问题的存在.对于增强此类系统可信性,本文认为应重视由RESTfulWebServices远程调用所带来的时间开销,在第三方服务器暂存请求副本并增加DDoS攻击检测功能;开放式Web平台应对其与第三方应用服务器之间的通信进行加密.提出了一种基于任意测试位置的第三方应用评测算法,该算法仅使用较少的测试数据.实验表明,该算法能有效检测存在安全性及隐私性漏洞的第三方应用.     

可信密码模块符合性测试方法与实施

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率.能够发现更多产品不符合标准带来的问题.     

一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

针对复杂路径条件的固件测试方法改进

针对当前固件模糊测试方案在测试具有复杂路径条件的固件时开销较大并且效率低下的问题,提出了一种高效省时的固件测试改进方法.该方法根据固件与外设交互使用的通信协议来修改模糊测试器产生的测试用例,使得测试用例可以突破校验和检查这一复杂路径条件.使用该方法改进了固件测试方案p2im(processor-peripheral i...     

一种面向无线安全的双核SOC平台

提出了一种适用于无线网络安全应用的片上系统(SOC)平台.该平台采用主控CPU加专用安全处理器的双核架构,可以灵活支持多种无线网络安全协议.所用到的安全处理器集成了多个硬件加速器,能够对多种常用的密码学算法提供硬件加速.相比于传统的CPU加协处理器的架构,该架构能够提供更高的系统效率,消耗更少CPU资源.此系统在0.18μm CMOS工艺下流片成功,并通过更改其固件,完成了多种功能的测试.该SOC平台具有高性能,低成本,多功能的特点,可广泛应用于各种手持设备.     

基于Fuzzing技术的云数据泄露漏洞检测

目前Web应用上存在接口枚举、越权与敏感信息回传三种逻辑漏洞,在SaaS服务模式的背景下,攻击者利用这些漏洞可以非法获取云端数据,给厂商和用户造成损失.主流的检测方案未实现自动化,依赖测试者经验的渗透测试,难以全面覆盖复杂的Web应用业务逻辑.本文分析云数据服务Web应用的业务逻辑,建立抽象三种逻辑漏洞的威胁模型,设计漏洞Fuzzing检测算法和系统框架,并实现了原型系统.实验结果表明,本文方案可检测造成云数据泄露的三种逻辑漏洞,与人工经验相结合,实现自动化的渗透测试.测试真实Web应用,发现了未被修补的三种逻辑漏洞,并已经得到厂商确认,提升了漏洞挖掘的覆盖度.     

基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.     

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

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

面向UPMIS的控规数据批量转换方法及实现

控规数据向ArcGIS平台数据转换并入库是城市规划管理信息系统（UPMIS）建设的一项基础性工作.针对分析控规数据转换为ArcGIS平台数据存在的问题,提出了一种高效的控规数据向ArcGIS平台数据批量转换的方法,并结合ArcGIS VBA和Python脚本开发工具,实现了上述方法.测试实验表明,该方法自动化程度高、实现简单、处理效率高.     

基于REST架构风格的精品课程平台建设

精品课程资源的共享已经成为国家教育发展的重要工作之一,其建设程度已被作为衡量学校教学质量优劣的重要标尺。对目前主要的研究方法和已有架构进行了比较和研究,探讨了REST架构风格在课程平台建设方面实现的可能性和优势,提出了一种基于REST架构风格的精品课程平台建设的实现方法。该方法采用统一的操作接口和无状态特性,通过表示来处理资源状态,消除传统SOAP-WSDL-UDDI技术中不必要的交互,增强了系统平台的兼容性和扩展性,具有更好的交互性和运行性能,可对现存异构数据库进行无缝链接而降低相关开发成本投入。本研究方法对精品课程资源平台及其他相关设计和研究有一定的借鉴作用。 更多还原     

晶体与建筑

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

自建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-系的一些重要结果。     

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

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