检索结果-南通市图书馆

基于特征匹配的Android应用漏洞分析框架

在线全文

学校读者我要写书评

暂无评论

清华大学学报（自然科学版） 2016年第5期56卷 461-467页

作者：董国伟王眉林邵帅朱龙华中国信息安全测评中心北京100085

Android平台应用数量迅速增长,随之而来的安全问题也日益增多。但现有分析工具大多数只对应用进行简单的扫描,较少涉及深层次的数据流分析,因此某些漏洞无法有效地被发现。该文基于对已有Android应用漏洞特征的归纳,提出一种Android应... 详细信息

Android平台应用数量迅速增长,随之而来的安全问题也日益增多。但现有分析工具大多数只对应用进行简单的扫描,较少涉及深层次的数据流分析,因此某些漏洞无法有效地被发现。该文基于对已有Android应用漏洞特征的归纳,提出一种Android应用漏洞的静态分析框架。从Manifest文件扫描、Smali代码危险函数分析、数据流分析等3个层面归纳了7类主流安全漏洞模式,依此构建了漏洞检测规则,并结合相关静态分析技术对应用进行分析,以发现其中存在的安全漏洞。通过对323个Android应用程序的实验分析,结果表明:该框架的有效检出率在70%以上,误报率在30%以下。因此,该框架能够有效发现Android应用中常见的安全漏洞,提高用户安全性。

关键词： Android应用安全漏洞特性匹配静态分析

在线全文

学校读者我要写书评

暂无评论

基于污点分析和符号执行的漏洞签名生成方法

清华大学学报（自然科学版） 2016年第1期56卷 28-34页

作者：辛伟时志伟郝永乐董国伟中国信息安全测评中心北京100085

漏洞签名是指触发程序漏洞的输入的集合,利用漏洞签名对程序输入进行过滤是一种有效的保护漏洞程序的方法。该文主要研究漏洞签名的生成技术,提出了一种有效的基于污点分析和符号执行的漏洞签名生成方法,它通过污点信息传播定位输入中... 详细信息

漏洞签名是指触发程序漏洞的输入的集合,利用漏洞签名对程序输入进行过滤是一种有效的保护漏洞程序的方法。该文主要研究漏洞签名的生成技术,提出了一种有效的基于污点分析和符号执行的漏洞签名生成方法,它通过污点信息传播定位输入中的与触发漏洞相关的字节,然后,通过符号执行得到路径约束,并通过约束求解得到最终的漏洞签名。基于开源项目Pin和Z3,该文构建了基于污点分析和符号执行的漏洞签名生成原型系统TASEVS,并对漏洞程序进行了验证。实验结果表明,TASEVS能有效地生成漏洞签名。

关键词：二进制程序漏洞签名污点分析符号执行约束求解

在线全文

学校读者我要写书评

暂无评论

基于路径分析和迭代蜕变测试的Bug检测

清华大学学报（自然科学版） 2014年第1期54卷 60-67页

作者：董国伟郭涛张普含贾依真中国信息安全测评中心北京100085

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变... 详细信息

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。

关键词：路径分析迭代蜕变测试蜕变关系 bug检测

在线全文

学校读者我要写书评

暂无评论

新形势下全过程工程咨询企业的发展前瞻

建设监理 2021年第11期 30-35页

作者：董国伟浙江文华建设项目管理有限公司浙江杭州311199

通过对2020年以来建设行业发布的相关政策展开分析,结合全过程工程咨询当前发展的现状,提出新形势下全过程咨询企业的发展思路和未来展望,为相关企业和人员的发展规划提供参考。

关键词：新形势全过程工程咨询发展前瞻

在线全文

学校读者我要写书评

暂无评论

后腹腔镜单纯性肾切除术的临床价值

中国社区医师 2017年第24期33卷 34-35页

作者：董国伟云南省腾冲市人民医院泌尿外科 679100

目的:探讨后腹腔镜单纯性肾切除术治疗肾脏疾病的应用价值。方法:收治肾脏病变患者70例,根据不同手术方式分为甲组、乙组,各35例。甲组采用后腹腔镜单纯性肾切除术治疗,乙组采用开放手术治疗。结果:甲组患者手术时间、术中出血量、住院... 详细信息

目的:探讨后腹腔镜单纯性肾切除术治疗肾脏疾病的应用价值。方法:收治肾脏病变患者70例,根据不同手术方式分为甲组、乙组,各35例。甲组采用后腹腔镜单纯性肾切除术治疗,乙组采用开放手术治疗。结果:甲组患者手术时间、术中出血量、住院时间、并发症均少于乙组(P<0.05)。结论:后腹腔镜单纯性肾切除术术中出血量少,术后患者住院时间短,并发症少。

关键词：后腹腔镜肾脏病变单纯性肾切除术

临断层孤岛面冲击危险与断层滑移数值反演——以朝阳煤矿3108工作面为例

在线全文

学校读者我要写书评

暂无评论

煤炭学报 2020年第2期45卷 533-541页

作者：朱广安窦林名王红胜刘海洋董国伟西安科技大学能源学院陕西西安710054 中国矿业大学深部煤炭资源开采教育部重点实验室江苏徐州221116 中国矿业大学矿业工程学院江苏徐州221116

复杂地质构造、开采布局等与冲击地压密切相关,尤其是当孤岛工作面沿平行于断层走向回采时,受断层煤柱与孤岛工作面影响叠加后形成的采场煤岩应力状态及覆岩结构将更为复杂,严重威胁冲击地压矿井的安全高效开采。为探究临近断层处孤岛... 详细信息

复杂地质构造、开采布局等与冲击地压密切相关,尤其是当孤岛工作面沿平行于断层走向回采时,受断层煤柱与孤岛工作面影响叠加后形成的采场煤岩应力状态及覆岩结构将更为复杂,严重威胁冲击地压矿井的安全高效开采。为探究临近断层处孤岛工作面开采时断层滑移失稳致灾机理,利用FLAC3D中的Fish语言进行2次开发,系统地提出一种孤岛工作面推进过程中采动诱发断层滑移失稳的数值模拟方法。以朝阳煤矿3108工作面为工程背景,建立断层赋存条件下的孤岛工作面开采的数值模型,分析了开采扰动下断层面应力场、位移场和速度场的动态演化特征,确定了断层滑移失稳的判定准则,总结了断层滑移失稳与冲击危险之间的关系,所得结果与现场实际强矿震分布具有较好的一致性。研究结果表明:当工作面远离断层时,断层面不产生滑移失稳,此时采动动载主要源于顶板破断;当工作面向断层推进时,认为当断层面出现剪应力降且剪切位移量大于0.05 m时断层产生滑移。断层滑移型动载可由地震矩、能量和滑移速率等物理参数表示,当动力计算时间为0.03 s时,断层面发生滑移,其地震矩和释放的能量达到峰值。一般当滑移速率峰值达到0.99 m/s以上时可认为断层滑移反作用于采场周围煤岩体的影响较大,断层滑移速率随时间变化先增大后减小,一般在动力计算0.4~0.5 s时,滑移速率达到峰值,当断层滑移结束后,滑移速率会降低至某一值。在整个孤岛工作面的回采进程中,断层滑移速率首先呈现阶梯式跃增趋势,后期表现为线性增长,即断层滑移最易出现在工作面初次来压和见方阶段,易于诱发强矿震和冲击地压。

关键词：孤岛工作面断层滑移数值模拟采动动载强矿震

在线全文

学校读者我要写书评

暂无评论

互联电网AGC的分区控制策略改进

电力科学与工程 2012年第11期28卷 17-21,31页

作者：杨平董国威上海电力学院电力与自动化工程学院上海200090

提出一种AGC分区控制策略。通过减少分区数和判断条件的设计,使AGC分区过程更简捷、合理。通过PID参数的同时调整使得AGC的动态和稳态性能都得到改善。仿真试验结果表明:新的AGC分区控制策略提高了CPS指标,又降低了频率偏差。

关键词：分区控制策略区域互联电网自动发电控制控制性能指标

PERC电池EL黑斑对于光伏组件性能的影响

在线全文

学校读者我要写书评

暂无评论

太阳能学报 2020年第12期41卷 97-102页

作者：杨博赵勇谢小军董国伟温友超张瑞刚西安热工研究院有限公司西安710026 华能山东发电有限公司济南250014

目前国内光伏电站使用的主流组件为单晶PERC(passivated emitter rear cell)组件,PERC电池结构特点决定其对硅片表面状态非常敏感,背面钝化膜与硅片间出现任何异常或污染,均会导致PERC电池EL下出现黑斑或黑点。设计对比试验,通过量子效... 详细信息

目前国内光伏电站使用的主流组件为单晶PERC(passivated emitter rear cell)组件,PERC电池结构特点决定其对硅片表面状态非常敏感,背面钝化膜与硅片间出现任何异常或污染,均会导致PERC电池EL下出现黑斑或黑点。设计对比试验,通过量子效率测试以及LBIC分析,研究黑斑对于电池片性能的影响,再用多个电池片封装成组件,通过LID试验分析PERC电池EL黑斑对于组件性能的影响,结果表明黑斑对于电池片性能的影响较小,通过CTM分析在同样投入成本的情况下,组件制造厂家可通过减少EL黑斑组件来增加自己的产能和利润,而PERC电池EL黑斑对于光伏组件光致衰减的影响很大,而且不可逆,这说明EL黑斑主要是杂质金属污染所致,这也更深入的解释了EL黑斑形成的原因,对于工程设备的质量把控和监造提供理论支撑。

关键词：单晶硅量子效率电致发光(EL) PERC 黑斑光致衰减

农业科技园区面临问题和制约因素的实证分析——基于苏州的调查数据

在线全文

学校读者我要写书评

暂无评论

科技管理研究 2014年第16期34卷 80-87,93页

作者：程培堽顾金峰潘华露董国卫苏州农业职业技术学院经济管理学院江苏苏州215008 苏州市农村经济学会江苏苏州215008 苏州市科技局江苏苏州215002 苏州市农委江苏苏州215218

以产业集群竞争力GEM模型作为分析框架,应用描述性统计分析、配对T检验和LOGIT模型等分析工具,对苏州农业园区调查数据进行分析。结果表明,缺少大型龙头企业、人才匮乏、人才引进困难、农产品精深加工程度低、没有市场化的技术创新机制... 详细信息

以产业集群竞争力GEM模型作为分析框架,应用描述性统计分析、配对T检验和LOGIT模型等分析工具,对苏州农业园区调查数据进行分析。结果表明,缺少大型龙头企业、人才匮乏、人才引进困难、农产品精深加工程度低、没有市场化的技术创新机制、资金筹备困难、没有市场化运行机制是苏州农业园区面临的主要制约因素;如果不考虑园区本身的特征,资源与设施、机制体制是制约园区经济效益的决定性因子;产业链是制约园区社会效益的决定性因子。

关键词：农业科技园区制约因素实证分析苏州