期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到124篇文章
< 1 2 … 7 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
软件安全漏洞检测技术 被引量：76
1
作者 李舟军 张俊贤 +1 位作者 廖湘科 马金鑫 《计算机学报》 EI CSCD 北大核心 2015年第4期717-732,共16页
软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检... 软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检测软件安全漏洞已成为软件安全领域的研究热点.文中首先回顾了程序分析与软件安全漏洞检测的基本概念、核心问题和传统手段.然后重点介绍该领域的最新进展,主要包括轻量级动态符号执行、自动化白盒模糊测试以及其实现技术和相应的工具.最后,指出了其所面临的挑战和发展趋势. 展开更多
关键词 安全漏洞 静态分析 动态分析 符号执行 白盒测试
下载PDF
从自动化到智能化:软件漏洞挖掘技术进展 被引量：39
2
作者 邹权臣 张涛 +4 位作者 吴润浦 马金鑫 李美聪 陈晨 侯长玉 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第12期1079-1094,共16页
近年来,随着软件规模和复杂度的日益增加,软件漏洞挖掘技术正逐渐向高度自动化和智能化演变,该文从传统漏洞挖掘技术和基于学习的智能化漏洞挖掘技术两方面深入调研和分析了相关的研究进展。首先,从静态和动态挖掘技术2方面详细介绍了... 近年来,随着软件规模和复杂度的日益增加,软件漏洞挖掘技术正逐渐向高度自动化和智能化演变,该文从传统漏洞挖掘技术和基于学习的智能化漏洞挖掘技术两方面深入调研和分析了相关的研究进展。首先,从静态和动态挖掘技术2方面详细介绍了传统漏洞挖掘技术的研究现状,涉及的技术包括模型检测、二进制比对、模糊测试、符号执行以及漏洞可利用性分析等,并分析了各项技术存在的问题,提出当前的研究难点是实现漏洞挖掘全自动化。然后,介绍了机器学习和深度学习技术在漏洞挖掘领域的应用,具体应用场景包括二进制函数识别、函数相似性检测、测试输入生成、路径约束求解等,并提出了其存在的机器学习算法不够健壮安全、算法选择依靠经验、数据样本不足、特征选择依赖专家知识等问题。最后,对未来研究工作进行了展望,提出应该围绕提高漏洞挖掘的精度和效率、提高自动化和智能化的程度这2方面展开工作。 展开更多
关键词 漏洞挖掘 模糊测试 符号执行 机器学习 深度学习
原文传递
基于脑-肠互动功能探讨痛泻要方治疗腹泻性肠易激综合征机制的研究进展 被引量：28
3
作者 李夏 王凤云 +3 位作者 吴皓萌 秦金燕 马金鑫 唐旭东 《中国实验方剂学杂志》 CAS CSCD 北大核心 2020年第20期229-234,共6页
腹泻型肠易激综合征(IBS-D)是临床上常见的功能性胃肠病之一,发病机制多样,因其发作突然、缠绵难治,严重影响了患者的工作生活。IBS-D患者因病情反复难愈,影响生活常伴随焦虑、抑郁等精神症状。其焦虑,抑郁的状态亦可影响内脏感受,增加... 腹泻型肠易激综合征(IBS-D)是临床上常见的功能性胃肠病之一,发病机制多样,因其发作突然、缠绵难治,严重影响了患者的工作生活。IBS-D患者因病情反复难愈,影响生活常伴随焦虑、抑郁等精神症状。其焦虑,抑郁的状态亦可影响内脏感受,增加肠道敏感性,躯体症状与精神症状相互影响,加重病情。IBS-D的主要发病机制如内脏高敏感性、胃肠动力紊乱、肠道感染、社会心理因素等均与脑肠互动紊乱相关。IBS-D患者长期精神慢性应激状态易诱发脑肠互动功能紊乱,脑肠互动是脑肠轴调控胃肠功能的主要调控方式,以脑肠轴及脑肠肽为物质基础进行脑与肠之间的交互作用。中医认为IBS-D患者的主要证型为肝郁脾虚证,肝郁则情志不畅,而脑内各类神经递质的分泌及含量与情绪密切相关。痛泻要方为临床治疗IBS-D肝郁脾虚证的常用基础方,具有柔肝补脾,祛湿止泻的功能,临床疗效显著。目前已有多项动物实验、临床研究探讨痛泻要方治疗IBS-D的机制及其对脑肠互动功能及脑肠肽含量的影响,但未将肝主疏泄与脑肠互动联系起来。笔者以肝主疏泄与脑肠互动的相关性为切入点,基于脑肠互动紊乱探讨痛泻要方治疗IBS-D的机制,阐释三者之间的相关性。笔者综合近5年来痛泻要方治疗IBS-D及痛泻药方与脑肠互动关系的研究文献,探讨痛泻要方通过影响脑肠轴及脑肠肽来治疗IBS-D。 展开更多
关键词 腹泻型肠易激综合征 脑肠互动 痛泻要方 机制 研究进展
原文传递
腹泻型肠易激综合征和功能性腹泻辨治探讨 被引量：19
4
作者 曾恩锦 唐旭东 +5 位作者 王凤云 吕林 郭瑞 李娟娟 李夏 马金鑫 《中国中医药信息杂志》 CAS CSCD 2021年第3期16-18,共3页
腹泻型肠易激综合征和功能性腹泻均属中医学“泄泻”范畴,但泄泻在临床上有必要细分成不同的亚型进行论治。腹泻型肠易激综合征与泄泻中“气泻”相对应,其关键病机为肝郁脾虚,治疗上以疏肝补脾为主;功能性腹泻则属于“濡泄”范畴,脾虚... 腹泻型肠易激综合征和功能性腹泻均属中医学“泄泻”范畴,但泄泻在临床上有必要细分成不同的亚型进行论治。腹泻型肠易激综合征与泄泻中“气泻”相对应,其关键病机为肝郁脾虚,治疗上以疏肝补脾为主;功能性腹泻则属于“濡泄”范畴,脾虚湿盛是其基本病机,以脾虚为本,湿盛为标,治疗初期以燥湿、利小便为主,病程较长者应酌以升提脾气、温肾固肠等法治疗。 展开更多
关键词 腹泻型肠易激综合征 功能性腹泻 气泻 濡泄 泄泻亚型
下载PDF
基于IOCP的高并发通信服务器的设计与实现 被引量：14
5
作者 马金鑫 袁丁 《通信技术》 2009年第7期248-250,共3页
现代网络的发展需要高性能、高容量的服务器,而服务器也经常是决定C/S、B/S模式下系统性能的重要因素。基于IOCP通信的服务器以多线程的方式实现了与多个客户端的消息并发交互,可以合理、有效地协调处理各客户端的消息。文中首先阐述了I... 现代网络的发展需要高性能、高容量的服务器,而服务器也经常是决定C/S、B/S模式下系统性能的重要因素。基于IOCP通信的服务器以多线程的方式实现了与多个客户端的消息并发交互,可以合理、有效地协调处理各客户端的消息。文中首先阐述了IOCP的基本实现原理,并提出了基于IOCP通信服务器的主体设计和实现。 展开更多
关键词 输入输出完成端口 工作线程 并发
原文传递
基于中医药循证文献大数据平台的慢性萎缩性胃炎临床证据图研究 被引量：15
6
作者 李璇 陈婷 +5 位作者 李敬华 王萍 张北华 马金鑫 王凤云 唐旭东 《中医杂志》 CSCD 北大核心 2023年第8期790-798,共9页
目的系统了解中医药防治慢性萎缩性胃炎(CAG)领域的临床研究证据分布,总结疗效,为未来的研究提供指引。方法借助涵盖消化领域多个优势病种的中医药循证文献大数据平台,检索其收录的2000—2020年发表的中医药防治CAG的临床研究、系统评价... 目的系统了解中医药防治慢性萎缩性胃炎(CAG)领域的临床研究证据分布,总结疗效,为未来的研究提供指引。方法借助涵盖消化领域多个优势病种的中医药循证文献大数据平台,检索其收录的2000—2020年发表的中医药防治CAG的临床研究、系统评价/Meta分析、指南与专家共识文献;对符合纳入标准文献的发表时间、研究类型,临床研究样本量及干预疗程,中医证候及体质相关观察性研究内容及分布,中医防治方案类别及作用(预防、治疗、康复/二级预防、不确定),临床评价指标等信息进行统计分析,并以图文结合形式呈现该领域证据分布。结果共纳入文献796篇,包括775篇临床研究,19篇系统评价,2篇专家共识。年度文献发表量总体呈缓慢上升趋势,2015年及2019年文献发表量最高,均为51篇。临床研究类型以干预性研究为主,共714篇,包括随机对照临床试验518篇、非随机对照试验196篇;观察性研究61篇。有46.50%(332/714)的干预性研究的样本量为60~100例,47.48%(339/714)的干预性研究疗程为3~6个月,干预措施以中药治疗为主,结局指标多关注总有效率、内镜下表现、病理组织学、中医证候积分、临床症状改善、Hp转阴率等,而对生活质量、心理评价等方面疗效关注较少。系统评价文献方法学质量普遍不高,AMSTAR量表评分集中在4~8分,16篇(84.21%)系统评价结论提示“证据显示有潜在疗效”。结论中医药在治疗CAG方面有一定优势,但多数研究在研究设计合理性、诊断标准统一性、疗效评价科学性等方面存在不足,未来有待加强该领域临床诊疗规范性,开展严谨的大样本、多中心、随机对照试验以提高中医药防治CAG的循证证据。 展开更多
关键词 慢性萎缩性胃炎 中医药疗法 胃癌癌前病变 循证证据
原文传递
唐旭东辨证应用参苓白术散加减治疗功能性腹泻脾胃虚弱证的临床经验 被引量：16
7
作者 马金鑫 唐旭东 +3 位作者 王凤云 石啸双 李夏 曾恩锦 《辽宁中医杂志》 CAS 2020年第5期44-46,共3页
功能性腹泻(Functional diarrhea,FD)发病机制尚不完全明确,现代医学尚无行之有效的治疗方法,中医辨证治疗有一定的优势。参苓白术散为经典中医健脾方剂,具有健脾益气,渗湿止泻的作用。唐旭东教授认为,FD以脾虚为病机根本,脾虚湿盛为病... 功能性腹泻(Functional diarrhea,FD)发病机制尚不完全明确,现代医学尚无行之有效的治疗方法,中医辨证治疗有一定的优势。参苓白术散为经典中医健脾方剂,具有健脾益气,渗湿止泻的作用。唐旭东教授认为,FD以脾虚为病机根本,脾虚湿盛为病机关键,治疗时应明确病机演变规律,治病求本,以"通"为用,健脾益气,故临床辨证选用参苓白术散加减治疗FD,取得了良好的治疗效果。 展开更多
关键词 唐旭东 功能性腹泻脾胃虚弱证 参苓白术散
下载PDF
温度对N80钢在饱和CO_(2)模拟地层水下腐蚀行为的影响及机理 被引量：15
8
作者 刘婉颖 李金宇 +4 位作者 高科超 张智 尚锁贵 高强勇 马金鑫 《表面技术》 EI CAS CSCD 北大核心 2022年第8期353-362,共10页
目的研究N80钢在饱和CO_(2)模拟油田地层水中于不同温度下的腐蚀行为及腐蚀特征,探究N80钢在饱和CO_(2)模拟油田地层水中的腐蚀规律及机理。方法利用高温高压釜对N80钢在不同温度(60、90、120℃)的饱和CO_(2)模拟油田地层水中浸泡96 h... 目的研究N80钢在饱和CO_(2)模拟油田地层水中于不同温度下的腐蚀行为及腐蚀特征,探究N80钢在饱和CO_(2)模拟油田地层水中的腐蚀规律及机理。方法利用高温高压釜对N80钢在不同温度(60、90、120℃)的饱和CO_(2)模拟油田地层水中浸泡96 h的失重腐蚀进行测试,并用电化学分析仪对其进行相同条件下的宏观电化学测试。采用XRD、SEM、EDS对N80钢腐蚀后的腐蚀产物物相结构、表面形貌、元素组成及腐蚀产物去除后基体表面的腐蚀形貌进行分析。结果N80钢在饱和CO_(2)模拟油田地层水中所形成的腐蚀产物主要由FeCO_(3)和溶液介质中的结晶盐CaCO_(3)组成。温度影响腐蚀产物膜的形貌特征、晶粒尺寸及其致密度变化,导致基体发生不同程度的腐蚀。60℃时,表面生成的腐蚀产物膜均匀覆盖于基体表面,产物膜膜层平整、致密,去除腐蚀产物后,表面有少量点蚀坑;温度升至90℃时,基体表面覆盖的腐蚀产物凹凸不平,晶粒粗大,排列较乱,规则性差于60℃下的腐蚀产物,腐蚀产物去除后,发现基体表面有大片蚀坑群,发生连片腐蚀;120℃时,腐蚀产物晶粒减少,覆盖不均,具有明显蚀孔和裂纹,部分腐蚀产物脱落,去除腐蚀产物后的基体表面出现大面积蚀坑,发生严重腐蚀。N80钢的腐蚀速率由60℃时的0.0210 g/(m^(2)·h)增至90℃时的0.0360 g/(m^(2)·h),至120℃时的0.0444 g/(m^(2)·h)。N80钢的自腐蚀电流密度由60℃时的1.3623×10^(-6)A/cm^(2)增至90℃时的1.4273×10^(-6)A/cm^(2),至120℃时的1.7851×10^(-6)A/cm^(2),但其自腐蚀电位则随温度的增加而减小。结论随腐蚀温度增加,N80钢表面所生成的腐蚀产物膜变得较疏松,且膜层含较多微孔与裂纹,腐蚀速率持续增加,N80钢腐蚀加重。 展开更多
关键词 饱和CO_(2) 温度 N80钢 腐蚀行为 机理
下载PDF
环氧树脂/多元硫醇体系的低温快速固化 被引量：11
9
作者 马金鑫 胡张燕 王跃川 《热固性树脂》 CAS CSCD 北大核心 2011年第1期35-38,共4页
通过凝胶时间测定,红外和凝胶渗透色谱分析研究了分别以三乙胺、苄基二甲胺、2,4,6-三[(二甲氨基)甲基]苯酚及1,8-二氮杂环[5,4,0]-十一烯,即二环脒为促进剂的环氧树脂(E-51)/多元硫醇(T-35)体系的固化特性。结果表明,E-51/T-35体系的... 通过凝胶时间测定,红外和凝胶渗透色谱分析研究了分别以三乙胺、苄基二甲胺、2,4,6-三[(二甲氨基)甲基]苯酚及1,8-二氮杂环[5,4,0]-十一烯,即二环脒为促进剂的环氧树脂(E-51)/多元硫醇(T-35)体系的固化特性。结果表明,E-51/T-35体系的固化速度明显高于传统的以脂肪族多胺类为固化剂的环氧树脂体系,且该体系的凝胶时间随着体系中环氧基/巯基配比的增加而缩短,随促进剂碱性的增强及含量的增加缩短,随着反应温度的降低延长。 展开更多
关键词 多元硫醇 环氧树脂 快速固化 实时红外光谱
原文传递
Fuzzing过程中的若干优化方法 被引量：11
10
作者 马金鑫 张涛 +1 位作者 李舟军 张江霄 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2016年第5期478-483,共6页
在软件漏洞挖掘领域,Fuzzing测试是使用最广泛、最有效的方法之一。传统Fuzzing测试方法存在工作效率低、盲目性强等不足。该文提出一种样本集精简算法和一种加权的测试时间模型,能够在保证代码覆盖率不变的情况下减少测试样本的数量,... 在软件漏洞挖掘领域,Fuzzing测试是使用最广泛、最有效的方法之一。传统Fuzzing测试方法存在工作效率低、盲目性强等不足。该文提出一种样本集精简算法和一种加权的测试时间模型,能够在保证代码覆盖率不变的情况下减少测试样本的数量,同时使优质的样本得到更多的测试时间片;设计了一种基于污点传播的异常分析方法,可评估异常信息的危害程度,有助于提高漏洞分析的效率。实验结果表明:与Peach实验进行对比,该文提出的方法有效地改进了传统的Fuzzing测试方法。 展开更多
关键词 模糊测试 精简集 漏洞分析
原文传递
从脾论治功能性腹泻机制探析 被引量：12
11
作者 马金鑫 唐旭东 +3 位作者 王凤云 石啸双 李夏 曾恩锦 《中华中医药杂志》 CAS CSCD 北大核心 2020年第8期3828-3830,共3页
功能性腹泻(FDr)是临床常见的消化系统疾病,发病率高,发病机制尚不完全明确,现代医学缺乏行之有效的治疗方法。文章从中医治疗出发,基于从脾论治理论分别从脾胃虚弱,运化失职、肝气郁结,脾气不升、肾阳虚衰,脾阳不振3个方面对该病病机... 功能性腹泻(FDr)是临床常见的消化系统疾病,发病率高,发病机制尚不完全明确,现代医学缺乏行之有效的治疗方法。文章从中医治疗出发,基于从脾论治理论分别从脾胃虚弱,运化失职、肝气郁结,脾气不升、肾阳虚衰,脾阳不振3个方面对该病病机进行探讨。中医治疗功能性腹泻脾虚证以运脾化湿为基本治疗原则,佐以疏肝、温肾之法,使脏腑之间互相协调,达到既互相制约又互相促进的动态平衡关系,恢复其正常的生理功能,从根本上改善患者的症状。 展开更多
关键词 功能性腹泻 脾虚湿盛 运脾化湿
原文传递
氟尿嘧啶联合奥沙利铂或顺铂对晚期食管癌患者的临床疗效 被引量：11
12
作者 马金鑫 冯谢敏 +1 位作者 宋炜 马军伟 《中国医药》 2022年第4期549-553,共5页
目的 探讨氟尿嘧啶联合奥沙利铂或顺铂对晚期食管癌患者的临床疗效。方法 选取延安大学附属医院2018年3月至2019年8月收治的晚期食管癌患者92例,应用随机数字表法分为对照组和观察组,各46例。对照组给予氟尿嘧啶联合顺铂治疗,观察组给... 目的 探讨氟尿嘧啶联合奥沙利铂或顺铂对晚期食管癌患者的临床疗效。方法 选取延安大学附属医院2018年3月至2019年8月收治的晚期食管癌患者92例,应用随机数字表法分为对照组和观察组,各46例。对照组给予氟尿嘧啶联合顺铂治疗,观察组给予氟尿嘧啶联合奥沙利铂治疗;2组均以21 d为1个化疗周期,持续化疗3个周期。比较2组治疗前后血清肿瘤标志物、血管新生指标和免疫功能指标水平,近期临床疗效、生存率和不良反应发生率。结果 治疗3个周期后,2组血清癌胚抗原、糖类抗原19-9、转化生长因子β;、血管内皮生长因子和CD_(8)^(+)水平均低于治疗前且观察组均低于对照组,血清CD_(8)^(+)和CD_(8)^(+)水平均高于治疗前且观察组均高于对照组(均P<0.05)。观察组客观缓解率和疾病控制率与对照组比较差异均无统计学意义(均P>0.05),治疗24个月生存率高于对照组[67.4%(31/46)比45.7%(21/46)](P<0.05)。观察组化疗期间恶心呕吐、腹泻、肝肾功能损伤和血小板减少发生率均低于对照组,外周神经毒性发生率高于对照组(均P<0.05)。结论 氟尿嘧啶联合奥沙利铂或顺铂治疗晚期食管癌患者近期疗效相当,但氟尿嘧啶联合奥沙利铂治疗方案在调节血清癌胚抗原、糖类抗原19-9水平和提高远期生存率等方面效果更佳。 展开更多
关键词 晚期食管癌 氟尿嘧啶 奥沙利铂 顺铂
下载PDF
帕洛诺司琼联合FOLFOX4化疗方案对胃癌根治术后患者胃肠道反应的影响 被引量：10
13
作者 马金鑫 宋炜 冯谢敏 《中国医药》 2018年第8期1172-1175,共4页
目的探讨帕洛诺司琼联合FOLFOX4化疗方案对胃癌根治术后患者胃肠道反应的影响。方法选取2014年3月至2017年3月延安大学附属医院收治的胃癌根治术后患者100例,依据随机数字表法分为观察组和对照组,各50例,对照组给予地塞米松联合FOLFOX4... 目的探讨帕洛诺司琼联合FOLFOX4化疗方案对胃癌根治术后患者胃肠道反应的影响。方法选取2014年3月至2017年3月延安大学附属医院收治的胃癌根治术后患者100例,依据随机数字表法分为观察组和对照组,各50例,对照组给予地塞米松联合FOLFOX4化疗方案治疗,观察组在对照组基础上给予帕洛诺司琼治疗,比较2组患者化疗前后血清胃动素和胃泌素水平、胃肠道反应、其他不良反应以及化疗有效率的差异。结果本研究100例患者中16例由于化疗中断而终止研究,入选观察组、对照组各42例。化疗前,2组患者的血清胃动素、胃泌素水平比较差异均无统计学意义(均P>0.05)。化疗后,2组血清胃动素水平明显低于化疗前、且观察组低于对照组[(83±8)ng/L比(92±9)ng/L],血清胃泌素水平明显高于化疗前、且观察组高于对照组[(330±88)μg/L比(283±72)μg/L],差异均有统计学意义(均P<0.05);观察组急性恶心、延迟性恶心、急性呕吐、延迟性呕吐控制有效率明显高于对照组[90.5%(38/42)比59.5%(25/42)、83.3%(35/42)比50.0%(21/42)、85.7%(36/42)比57.1%(24/42)、81.0%(34/42)比52.4%(22/42)],差异均有统计学意义(均P<0.05)。2组其他不良反应发生率、化疗有效率比较差异均无统计学意义(均P>0.05)。结论帕洛诺司琼联合FOLFOX4化疗方案可有效改善胃癌根治术后患者血清胃动素、胃泌素水平,有利于减轻胃肠道反应。 展开更多
关键词 胃癌 帕洛诺司琼 FOLFOX4化疗方案 胃癌根治术 胃肠道反应
下载PDF
大庆市现代农业发展指标体系评价研究 被引量：7
14
作者 马丽亚 宋丽艳 +4 位作者 孙文文 马金鑫 张红红 杨志国 王树锋 《黑龙江八一农垦大学学报》 2014年第2期96-101,共6页
针对大庆市近些年现代农业发展缺乏科学评价指标体系及方法的客观情况，结合技术经济和财务分析等理论，从传递积极的正能量信息角度出发，运用归纳总结、逻辑演义和因子分析等方法，全方位地构建了评价大庆区域内发展现代农业的指标体... 针对大庆市近些年现代农业发展缺乏科学评价指标体系及方法的客观情况，结合技术经济和财务分析等理论，从传递积极的正能量信息角度出发，运用归纳总结、逻辑演义和因子分析等方法，全方位地构建了评价大庆区域内发展现代农业的指标体系，分析了大庆市2000—2012年现代农业发展状况，并对各年份发展水平和程度进行打分排名，得出了大庆市现代农业正处于稳步提升状态、农民生活水平逐步提高的结论。 展开更多
关键词 现代农业 评价指标体系 因子分析
下载PDF
基于Windows环境下的进程保护技术的研究与实现 被引量：7
15
作者 马金鑫 袁丁 《计算机应用与软件》 CSCD 2010年第3期18-21,共4页
进程保护技术可以保护一个进程不被非法操作关闭来保证进程的正常运行,这种技术在信息安全的主机防护领域具有其不可替代的作用。进程保护技术可以应用于安全系统、杀毒软件自保护等方面,具有重要的研究价值。通过展开讨论API钩子技术... 进程保护技术可以保护一个进程不被非法操作关闭来保证进程的正常运行,这种技术在信息安全的主机防护领域具有其不可替代的作用。进程保护技术可以应用于安全系统、杀毒软件自保护等方面,具有重要的研究价值。通过展开讨论API钩子技术和三线程保护技术的方式,来对进程保护常有的技术作出详细的阐述,并且提供了实现的方法。最后提出把这两种技术结合起来使用的新思路,以达到实现进程保护的最大可靠性。 展开更多
关键词 HOOKAPI PE 三线程保护 代码注入
下载PDF
基于执行踪迹离线索引的污点分析方法研究 被引量：8
16
作者 马金鑫 李舟军 +2 位作者 张涛 沈东 章张锴 《软件学报》 EI CSCD 北大核心 2017年第9期2388-2401,共14页
针对二进制代码的污点分析方法在软件逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义.目前,大多数污点分析方法不支持浮点指令,执行效率较低,且传播的精度也不够高.提出并实现了一种基于执行踪迹离线索引的污点分析方法,以字节... 针对二进制代码的污点分析方法在软件逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义.目前,大多数污点分析方法不支持浮点指令,执行效率较低,且传播的精度也不够高.提出并实现了一种基于执行踪迹离线索引的污点分析方法,以字节为粒度,且支持污点标签.提出执行踪迹离线索引的生成及查询算法,通过离线索引可跳过与污点数据无关的指令,提高污点分析的效率.首次描述并解决了即时翻译执行导致的污点丢失问题.使用污点标签以标识污点的来源和位置.提出较完善的污点传播算法,支持浮点指令,以尽可能精确地刻画污点信息从源操作数传递到目的操作数的过程.实现了灵活的可配置机制,用户可通过黑名单动态地引入污点数据.将提出的方法应用到漏洞检测的场景中,使用12个真实的软件漏洞作为测试样本集,将该方法与TEMU作对比实验,实验结果表明:该方法具备较强的漏洞检测能力,可验证的漏洞数比TEMU更多,且其平均执行效率比TEMU高5倍. 展开更多
关键词 污点分析 离线索引 指令踪迹 漏洞检测
下载PDF
一种重构二进制代码中类型抽象的方法 被引量：8
17
作者 马金鑫 李舟军 +2 位作者 忽朝俭 张俊贤 郭涛 《计算机研究与发展》 EI CSCD 北大核心 2013年第11期2418-2428,共11页
重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对... 重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对类型重构的准确度不够高.提出一种保守的类型重构方法,针对类型重构引入一种简单的中间语言,基于这种中间语言构造寄存器抽象语法树,并使用寄存器抽象语法树部分解决了基址指针别名问题,可有效收集基本类型和结构体类型的类型约束信息.提出一种判断二进制代码中的循环结构及识别循环变量的方法,可有效收集数组类型的约束信息,并据此生成类型约束,然后通过处理类型约束来重构最终的类型.使用CoreUtils中的15个程序作为测试用例,将该方法与IDA Pro进行对比实验.实验结果表明提出的方法不仅可以高效地重构数据类型,而且在结构体类型重构方面可恢复比IDA Pro多达5倍的数据.对这些数据的人工验证与分析表明,使用该方法重构的类型准确率高. 展开更多
关键词 类型重构 寄存器抽象语法树 中间语言 循环变量 别名分析
下载PDF
包装物经营流转中的纳税筹划技术创新探究 被引量：7
18
作者 马金鑫 张红红 +1 位作者 孙文文 王树锋 《黑龙江八一农垦大学学报》 2014年第3期125-128,共4页
包装物不构成产品实体,但在其经营过程中却承担较重的负税。采用归纳演绎、判断推理和类比分析等方法,总结并分析了企业对包装物出售、出租和出借等经营活动进行纳税筹划的局限性,研究了承受高额流转税的酒类企业出借包装物押金的纳税... 包装物不构成产品实体,但在其经营过程中却承担较重的负税。采用归纳演绎、判断推理和类比分析等方法,总结并分析了企业对包装物出售、出租和出借等经营活动进行纳税筹划的局限性,研究了承受高额流转税的酒类企业出借包装物押金的纳税筹划问题,提出了通过进行"换位抵押"方法能够取得规避增值税和消费税双重效果的筹划技术。同时,还提出了运用额定耗损率的成本控制方法来核算包装物额定耗损,使包装物退出账面监控以达到隐形避税的目的。 展开更多
关键词 包装物 经营流转 纳税筹划
下载PDF
渤海油田轻质油气藏气测流体评价方法 被引量：8
19
作者 刘娟霞 刘朋波 +3 位作者 袁胜斌 刘永华 马金鑫 刘坤 《海洋地质前沿》 CSCD 2017年第11期54-59,共6页
渤海油田中深层轻质油气流富集,原油密度小,气油比高,普遍处于气液同存的的交错相态。由于轻质油、气层荧光、气测等录井特征相似,加之部分井眼条件差,测井资料不完善,造成流体识别难度大。对目前常用的气测录井系统开展轻质油气藏流体... 渤海油田中深层轻质油气流富集,原油密度小,气油比高,普遍处于气液同存的的交错相态。由于轻质油、气层荧光、气测等录井特征相似,加之部分井眼条件差,测井资料不完善,造成流体识别难度大。对目前常用的气测录井系统开展轻质油气藏流体性质评价研究发现,基于常规气测组分(C1—C5)的3H组合模型呈现一定的规律性,但与传统解释模型存在差异,结合星型图流体相分析法,可有效识别渤海油田PL7区块凝析气与轻质油,流体界面明显。对于FLAIR气测录井系统,针对测量组分(C1—C8)引入能够敏感反映油气丰度变化的气指数、油指数和水指数3个流体指数,依据这3个流体指数的纵向组合形态和变化趋势,可准确识别油气性质,对渤海油田轻质油气藏的流体评价优势明显。该研究促进了所在区块油气分布格局和储量的落实,在其他钻遇轻质油气流的区块具有较高的推广应用价值。 展开更多
关键词 轻质油气藏 常规气测 3H解释模型 星型图板 FLAIR 流体指数
下载PDF
基于控制流精化的反汇编方法 被引量：6
20
作者 马金鑫 忽朝俭 李舟军 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第10期1345-1350,共6页
反汇编过程是整个逆向工程的基础和重要部分。为提高反汇编过程的效率及反汇编结果的准确度,通过对传统反汇编方法的探究,提出了一种基于控制流图精化的静态反汇编方法。该方法把二进制代码通过函数定位切分成单个函数,然后再对单个函... 反汇编过程是整个逆向工程的基础和重要部分。为提高反汇编过程的效率及反汇编结果的准确度,通过对传统反汇编方法的探究,提出了一种基于控制流图精化的静态反汇编方法。该方法把二进制代码通过函数定位切分成单个函数,然后再对单个函数生成初始的过程内控制流图,使用图论的方法与汇编指令的特征匹配相结合,提炼出真实的控制流图。使用CoreUtils中的22个程序作为测试基准,使用2种线性扫描算法作为比较基准。实验结果表明:本文所提出的反汇编方法比Objdump快63.2%,并且可以高度精确地绘制出控制流图,因此具有准确度高、效率高的显著特性。 展开更多
关键词 反汇编 控制流图 模糊化
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 7 下一页 到第 页
使用帮助 返回顶部