检索结果-内蒙古大学图书馆

国防科技大学学报 2023年第2期45卷 45-54页

作者：陶静糜娴雅王宝生王鹏飞国防科技大学计算机学院湖南长沙410073 军事科学院智能博弈与决策实验室北京100071

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混... 详细信息

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。

关键词：软件安全软件漏洞挖掘混合符号执行混合模糊测试

来源：评论

学校读者我要写书评

暂无评论

混合模糊测试优化技术研究

混合模糊测试优化技术研究

引用

作者：严明哈尔滨工业大学

学位级别：硕士

软件漏洞作为当前计算机系统的主要威胁来源之一,可以使攻击者绕过授权机制入侵和破坏系统,导致数据篡改、隐私泄露等严重后果。因此,主动发掘和分析潜在漏洞对安全具有重要意义,自动化技术则能够进一步降低挖掘成本。目前使用最广泛的... 详细信息

软件漏洞作为当前计算机系统的主要威胁来源之一,可以使攻击者绕过授权机制入侵和破坏系统,导致数据篡改、隐私泄露等严重后果。因此,主动发掘和分析潜在漏洞对安全具有重要意义,自动化技术则能够进一步降低挖掘成本。目前使用最广泛的自动化漏洞挖掘工具是模糊测试,而混合模糊测试是模糊测试的一种改进,其由模糊测试和符号执行组成,在程序覆盖和漏洞触发上均有不错的表现,近年来在安全领域得到了广泛的关注和研究。然而,混合模糊测试尚处于研究初期,仍存在一些性能瓶颈有待提升:首先,运行时的符号翻译开销较大,影响整体模糊测试的效率;其次,已有的种子调度方法更倾向于以程序覆盖为引导,但不一定能高效地触发漏洞;最后,符号执行存在过度求解现象,浪费较多的计算资源。本文使用静态符号预插桩方法、漏洞引导的种子调度和协同性求解优化策略来解决上述问题。首先,针对运行时高符号翻译开销问题,本文设计并实现面向闭源程序的静态符号预插桩方法,从三个层面进行多粒度插桩:在指令级别上,按照赋值、调用、运算、条件四类指令进行不同的功能插桩,实现表达式建模函数预插桩;在基本块级别上,对跳转的数据传递进行存储插桩,记录约束的可能来源;在函数级别上,为插桩所用内存提供安全的栈空间,保证原函数的正常运行和插桩的正确访问。本文使用三组包含约束的程序进行测试,与Sym CC和Sym QEMU进行对比,最终取得较好的开销降低效果。其次,针对漏洞的触发效率问题,本文提出漏洞引导的种子能量调度方法,使用静态污点传播分析得到程序内基本块的敏感系数,基于Katz中心性原理计算基本块在未探索部分中的重要性,根据基本块重要性生成种子的基础能量,表示种子的漏洞触发可能性;随后,使用符号执行的求解失败反馈,校正生成种子的最终能量,以权衡求解成本和漏洞可能性。本文在LAVA-M程序base64、真实程序tcpdump、readelf上进行测试,与AFLFast、AFL++、QSYM进行对比,最终在漏洞触发上取得更优的效果,在程序覆盖上取得不错的效果。最后,针对过度求解和低协同性问题,本文使用两种启发式策略实现混合模糊测试的协同性优化方法。一方面,同步启动策略确保符号执行与当前最新模糊测试同步执行,在获取所有种子的最新能量的同时,调整符号执行的优先级计算方法,提高整体协同性;另一方面,污点分析辅助的约束缓执行策略使用污点分析结果得到约束的相关重要性,结合缓执行机制,确定当前约束是否参与求解,减少约束的无效重复求解次数。本文对两种策略在LAVA-M程序base64、真实程序readelf上开展对照实验,最终前者取得略优的效果,后者存在优化程度激进问题,取得一般的效果。

关键词：混合模糊测试闭源程序漏洞导向污点分析 Katz中心性

来源：评论

学校读者我要写书评

暂无评论

面向混合符号执行优化的混合模糊测试技术研究

面向混合符号执行优化的混合模糊测试技术研究

引用

作者：糜娴雅国防科技大学

学位级别：博士

混合模糊测试是一种新近提出的软件漏洞挖掘技术,由黑盒模糊测试和白盒符号执行两种方法结合,很快成为软件安全领域的研究热点。混合符号执行作为其中的重要技术之一,具有求解精确、指向性强、资源消耗巨大等特点。由于真实软件系统庞... 详细信息

混合模糊测试是一种新近提出的软件漏洞挖掘技术,由黑盒模糊测试和白盒符号执行两种方法结合,很快成为软件安全领域的研究热点。混合符号执行作为其中的重要技术之一,具有求解精确、指向性强、资源消耗巨大等特点。由于真实软件系统庞大复杂,基于二进制的混合符号执行依然存在可伸缩性(scalability)问题,导致混合模糊测试效率低下,不能实用。传统的混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助模糊测试,但忽略了混合符号执行自身的性能问题。本文基于混合模糊测试的方法架构和组成原理,针对混合符号执行的性能提升,以加强混合模糊测试漏洞挖掘效率为目标,展开下列研究。(1)评价体系建立与优化策略分析。混合符号执行作为混合模糊测试中的重要组成方法,其性能和开销对系统的整体影响通常比模糊测试的部分更大,具有特殊的性质,需要进行单独的性能与开销评价,当前研究缺乏对该评价体系的完整阐述。而混合模糊测试虽然由混合符号执行和模糊测试共同组成,但最终的评价体系一般还是遵循模糊测试的评价标准,存在局限性。本文提出了混合符号执行和混合模糊测试的评价体系,并依据评价体系对二者的优化策略分别进行分析。基于混合符号执行的评价体系,本文利用混合执行引擎Triton设计了一个综合测试平台,实现了6种混合符号执行优化方法的模拟,并进行了10个程序20个输入的分析实验,从“时间效率”、“内存开销”和“覆盖率提升”三个评价指标的角度进行测试,分析了不同优化方案提升的百分比数据,最终生成优化方案的性能序列,并提出了三种针对不同情况的优化选择方案,作为实际应用的参考,为混合符号执行优化的研究工作提出了指导目标。基于混合模糊测试的评价体系,本文提出了混合模糊测试架构中的三点重要问题,为提升混合模糊测试漏洞挖掘效率的研究工作提出了指导目标。(2)基于污点分析的混合符号执行约束缩减方法。从混合模糊测试的白盒符号执行一端出发,混合符号执行的可伸缩性问题是漏洞挖掘效率的主要瓶颈。约束膨胀问题是混合符号执行效率不高的主要原因之一,其成因来自于两个方面:第一,约束收集过程中由于环境建模导致环境相关额外约束引入;第二,约束求解过程中由于冗余约束存在导致求解效率低下。本文针对混合符号执行中的约束膨胀问题,提出了一种基于污点分析的约束缩减方法,该方法由两个模块组成:基于函数端符号化追踪的环境建模约束优化技术和基于输入部分符号化的冗余约束优化方法。本文实现了优化后的混合符号执行工具PSCE,实验评测证明,PSCE对比未经优化的混合符号执行工具Triton在时间开销上优化了37.54%,在内存开销上优化了20.62%,在代码覆盖率方面提升了3.96%。(3)基于混合符号执行优化的混合模糊测试漏洞挖掘系统架构设计。已有的混合模糊测试架构中常有以精确性换执行效率,导致漏洞挖掘性能不高的问题。本文针对混合模糊测试漏洞挖掘架构设计问题,说明混合模糊测试的精确性问题来源于两点:第一,混合符号执行本身的过于优化导致精确性问题;第二,混合模糊测试整体架构导致精确性问题。本文提出了一种基于混合符号执行优化的混合模糊测试漏洞挖掘架构设计,从两个方面对漏洞挖掘效率进行提升:兼顾精确性和效率的混合符号执行自身优化、混合模糊测试漏洞挖掘架构中的分支调度方案。本文实现了两个漏洞挖掘原型工具,一是基于QSYM进行优化的PSYM,在漏洞测试集LAVA-M上发现已知漏洞的个数增加了148个;二是基于PSCE的漏洞挖掘架构PSFuzzer,对比已有工作,在覆盖率方面,比AFL、Triton和QSYM分别高出5.16%、7.32%和6.14%;在触发已知漏洞的平均时间上,比AFL、Triton和QSYM分别快了3.62倍、3.37倍和4.1倍;在平均发现崩溃数量上,比AFL、Triton和QSYM分别多了18个、28.91个和18.92个。PSFuzzer还在5个最新版本的程序中发现17个零日漏洞。(4)基于混合模糊测试平衡点理论的分支调度方法。基于覆盖率的模糊测试缺乏指向性,会导致覆盖率平坦问题。在混合模糊测试中,这个问题可以通过混合符号执行的分支选择方法进行缓解。本文提出了一种混合模糊测试的平衡点理论与调节模型,将混合模糊测试研究模型化为一个寻找最佳平衡点的问题,其中动态平衡点问题即分支调度问题。在混合模糊测试过程中,会产生大量待混合符号执行分析的新输入,每个输入中又有大量分支指令,为了在有限时间和资源的限制下达到最大覆盖率,需要对输入和分支进行仔细的选择。本文提出了一种基于分支调度的选择性混合模糊测试的方案,包括两个内容:第一,基于三个评价指标的重要分支选择算法,对每个分支计算一个权重;第二,基于分支权重的优先级分数算法,用于选择分数最高的输入,进行混合符号执行的分析。本文在QSYM的基础上实现了方案中的两个算法,实现原型工具S

关键词：模糊测试混合模糊测试符号执行混合符号执行污点分析漏洞挖掘

来源：评论

学校读者我要写书评

暂无评论

基于需求驱动混合模糊测试的EOSIO智能合约漏洞检测研究

基于需求驱动混合模糊测试的EOSIO智能合约漏洞检测研究

引用

作者：王子恒河北大学

学位级别：硕士

随着区块链技术的迅速发展,作为其重要应用之一的智能合约受到了人们广泛关注。由于智能合约管理着众多加密数字资产,导致它比普通程序更容易成为被攻击的目标。近年来,一些针对EOSIO智能合约漏洞的攻击已经造成了严重的经济损失,因此,... 详细信息

随着区块链技术的迅速发展,作为其重要应用之一的智能合约受到了人们广泛关注。由于智能合约管理着众多加密数字资产,导致它比普通程序更容易成为被攻击的目标。近年来,一些针对EOSIO智能合约漏洞的攻击已经造成了严重的经济损失,因此,对智能合约进行漏洞检测以确保其安全性至关重要。目前,混合模糊测试是最流行的智能合约漏洞检测技术之一,该技术结合模糊测试和符号执行的特点来对程序进行检测。然而,现有混合模糊测试工具存在运行效率较低的问题,以及其符号执行阶段生成种子时存在路径爆炸、约束求解方法复杂冗余等问题,严重影响检测性能。为了解决这些问题,本文提出了一种需求驱动的混合模糊测试方案来检测EOSIO智能合约漏洞。主要工作内容如下: (1)针对混合模糊测试系统的运行效率较低问题,提出了一种基于需求驱动策略的运行效率优化方案。该策略通过解析模糊测试阶段生成的执行日志信息,分析是否有新的程序分支或断言语句被探索,并以此判断是否需要启用符号执行模块来辅助生成新的种子。若无需启用,则在当前轮次的测试迭代中跳过符号执行模块,这样即可简化系统的工作流程,进而提高运行效率。 (2)针对符号执行技术生成种子时存在的路径爆炸、约束求解方法复杂冗余等导致性能变差的问题,提出了基于路径剪枝策略、增量式约束求解方法以及路径优先级排序方法的性能提升方案。其中,路径剪枝策略通过去除与发现漏洞无关的路径,并为冗余的待求解路径约束保留唯一的符号约束来缓解路径爆炸问题;增量式约束求解方法通过匹配判断的方式仅求解那些包含先前测试迭代中未被探索分支的路径约束,从而进一步解决约束求解的冗余性问题;路径优先级排序方法则是对待探索的路径进行排序,旨在后续测试中优先探索更有利于发现漏洞的程序路径。本文基于所提方案实现了一个名为WASAIUP的漏洞检测工具,并在一个包含3441个智能合约的数据集上对其进行全面评估。实验结果表明,WASAIUP在漏洞检测效率方面比当前最先进的漏洞检测工具更高,同时保持着更高的检测精准度。

关键词： EOSIO 智能合约需求驱动混合模糊测试漏洞检测

来源：评论

学校读者我要写书评

暂无评论

约束指导的混合模糊测试技术研究

约束指导的混合模糊测试技术研究

引用

作者：李军浩东南大学

学位级别：硕士

混合模糊测试是目前漏洞挖掘领域最有效的技术之一,集成了模糊测试技术和符号执行技术,利用模糊测试的高吞吐量快速探索易到达的路径,利用符号执行的约束求解能力突破路径上的限制语句,从而实现了高效探索被测程序的目的。但是由于混合... 详细信息

混合模糊测试是目前漏洞挖掘领域最有效的技术之一,集成了模糊测试技术和符号执行技术,利用模糊测试的高吞吐量快速探索易到达的路径,利用符号执行的约束求解能力突破路径上的限制语句,从而实现了高效探索被测程序的目的。但是由于混合模糊测试技术研究年限相对较短,目前成熟工作较少,仍存在较大的优化空间。混合模糊测试技术包含三个部分:模糊测试、协调器和符号执行,本研究通过对实例代码分析,发现模糊测试中基于覆盖率的能量调度策略与混合模糊测试的设计思想不匹配,导致混合模糊测试存在延迟发现漏洞的问题。此外,本研究通过对过往研究工作分析,发现协调器中的交互策略存在粒度粗、效率低和效果差的问题。针对上述两个问题,本研究提出了约束指导的混合模糊测试技术,利用约束的静态信息和动态执行信息提高混合模糊测试技术的效率。综上,本文的主要研究工作如下: (1)提出了路径探索难度指导的模糊测试技术。利用静态分析技术对被测程序的约束分布和分支边的可达路径进行分析,然后对每个分支边的探索难度进行评估。每当模糊测试执行完一个种子后,根据静态分析结果和种子的执行信息对种子未探索路径的探索难度进行评估,给予倾向探索较简单路径的种子更多的变异机会。上述基于路径探索难度的能量调度策略指导模糊测试由简单到难地探索路径,实现了充分利用模糊测试技术高吞吐量优势的目标,改善了混合模糊测试延迟发现漏洞的问题。本文不仅用一个代码示例从理论上验证了该技术的有效性,还实现了该技术的原型系统,记为AFL-SILK。实验结果表明:与经典工作相比,AFL-SILK在相同时间内的约束覆盖提升了4%,路径覆盖提升了12%。 (2)提出了约束执行状态指导的混合模糊测试交互策略。利用静态分析得到的约束信息和每个种子的执行信息在协调器中构建约束执行情况统计表,然后识别每个约束的统计状态,并对每个约束的待求解优先级进行评分,最后根据评分将约束存储到队列中。协调器实时监测符号执行的状态,当符号执行器处于空闲时,从约束队列中挑选待求解优先级最高的约束传送到符号执行中进行求解。上述基于约束执行状态的交互策略使模糊测试和符号执行交互的更紧密,更加充分地发挥了符号执行约束求解的能力。本文实现了该策略的原型系统,记为SILK-COR。和其他同类工作相比,SILK-COR有效种子生成效率提升了1.1～3倍。 (3)集成上述两个方法实现了约束指导的混合模糊测试的系统原型,记为SILK。本文在人工测试集LAVA-M和8个真实程序测试集上验证了SILK的有效性。实验结果表明:和同类工作相比,相同时间内SILK在真实程序上的分支覆盖量提升了5%～10%,路径覆盖量提升了10%～45%。此外,SILK发现了LAVA-M中90%的漏洞。

关键词：混合模糊测试模糊测试符号执行约束漏洞挖掘

来源：评论

学校读者我要写书评

暂无评论

程序敏感的模糊测试样本生成方法

引用

计算机工程与设计 2020年第12期41卷 3368-3375页

作者：许朴舒辉于颖超信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

为增加模糊测试工具对程序的感知能力,提高样本变异效率,有效提高代码覆盖率,在原有基于覆盖率反馈基础上,提出一种结合污点分析技术的混合模糊测试样本生成手段。利用污点分析感知程序中对魔数、哈希、类型数据字段的格式检验,辅助样... 详细信息

为增加模糊测试工具对程序的感知能力,提高样本变异效率,有效提高代码覆盖率,在原有基于覆盖率反馈基础上,提出一种结合污点分析技术的混合模糊测试样本生成手段。利用污点分析感知程序中对魔数、哈希、类型数据字段的格式检验,辅助样本生成;采用共享生成样本的方式,与传统模糊测试工具相结合实现混合模糊测试;基于以上思路,实现混合模糊测试工具taint_fuzz,对现实使用的图像和音频解析程序(audiofile、exiv2、libav)进行测试,挖掘到多个漏洞,以此申请到5个CVE编号。测试结果表明,taint_fuzz能够有效减少对初始样本的依赖,提高代码覆盖率和漏洞触发数。

关键词：污点分析混合模糊测试样本生成格式检验漏洞挖掘

来源：评论

学校读者我要写书评

暂无评论

基于模糊测试的软件漏洞检测技术研究

基于模糊测试的软件漏洞检测技术研究

引用

作者：朱佳超杭州电子科技大学

学位级别：硕士

模糊测试是软件代码漏洞检测的重要技术之一,但是由于普通模糊测试器在测试过程中存在测试用例生成的随机性、盲目性等问题,导致整体的测试效率不高。因此,本文重点针对基于模糊测试的软件代码漏洞检测展开研究。在深入分析现有的研究... 详细信息

模糊测试是软件代码漏洞检测的重要技术之一,但是由于普通模糊测试器在测试过程中存在测试用例生成的随机性、盲目性等问题,导致整体的测试效率不高。因此,本文重点针对基于模糊测试的软件代码漏洞检测展开研究。在深入分析现有的研究工作基础上,针对基于目标点检测的模糊测试器在并行化过程中存在的任务冲突问题,提出了基于目标点任务划分的并行化模糊测试方法;针对模糊测试器和符号执行器所组成的混合模糊测试系统中存在的种子选择问题,本文提出了基于细粒度信息同步的混合模糊测试方法。最后,开发了集成上述两种方法的软件漏洞智能检测平台。具体工作如下:(1)针对基于目标点检测的模糊测试器在并行化过程中存在的任务冲突问题,提出了基于目标点任务划分的方法,通过该方法可以将软件中的代码行依据到各目标点的距离划分成不同的代码块,使得各个模糊测试实例可以负责不同代码块的测试,从而解决各实例间的任务冲突。针对基于目标点检测的模糊测试器在软件测试完毕后无法自动结束的问题,提出了目标点漏洞判断方法,通过分析漏洞错误栈信息中错误点的位置和软件中的目标点是否一致来判断是否结束测试。我们将本方法应用于AFLGO框架上,针对LAVA-M测试集和Unifuzz的部分测试集进行实验,总的路径覆盖率提升了1.87%,总的漏洞发现数提升了34.7%,总的位图密度提升了3.26%,验证了本方法的有效性。(2)针对AFLFast和QSYM组成的混合模糊测试系统中所存在的种子选择问题,提出了种子细粒度信息同步的方法。模糊测试器和符号执行器之间由于缺少有效的种子信息交互,例如种子的覆盖位图、种子所覆盖路径的覆盖频率等,导致符号执行器在种子选择过程中会选择到低质量种子,这类种子往往是重复的、覆盖程序中的高频路径。针对这一问题,本文采用种子细粒度信息同步的方法,将模糊测试过程中种子的最新信息同步给符号执行器以帮助其选择到更高质量的种子。通过混合模糊测试实验,系统的漏洞发现数提升了6.79%,覆盖的路径数提升了2.49%,位图密度提升了4.91%,验证了本方法的有效性。(3)设计开发了软件漏洞智能检测平台,平台集成了AFL、AFLFAST、Libfuzzer等8款测试器,可采用集成模糊测试、混合模糊测试等测试方法对开源软件进行高效的漏洞检测。平台设计实现了自适应集成模糊测试方法,可以依据待测软件和可用节点数自适应选择适合的模糊测试器组合,通过分布式并行化测试提升软件漏洞的检测效率。平台开发了可视化交互界面,实现软件测试过程和测试数据的可视化展示、维护和管理。

关键词：漏洞检测模糊测试任务划分混合模糊测试信息同步

来源：评论

学校读者我要写书评

暂无评论

面向区块链智能合约的已知威胁检测技术研究

面向区块链智能合约的已知威胁检测技术研究

引用

作者：李鑫吉华东师范大学

学位级别：硕士

随着区块链2.0技术的到来以及将区块链行业发展规划写入我国“十四五”规划纲要中,区块链在国家与社会层面越来越受重视。与此同时区块链产业规模逐步提升,区块链相关企业数量持续增加,区块链领域的安全事件也频频发生,造成了重大财产损... 详细信息

随着区块链2.0技术的到来以及将区块链行业发展规划写入我国“十四五”规划纲要中,区块链在国家与社会层面越来越受重视。与此同时区块链产业规模逐步提升,区块链相关企业数量持续增加,区块链领域的安全事件也频频发生,造成了重大财产损失,因此亟需对区块链上部署的智能合约进行安全漏洞检测来预防攻击。目前针对智能合约漏洞检测的工具误报率、漏报率都比较高,深度学习法检测智能合约漏洞准确率、检测效率比其它检测方法高但是可检测的漏洞种类比较少,并且大多数检测工具无法检测最新版本的智能合约。因此本文提出了一种基于图神经网络的多特征融合智能合约漏洞静态检测方法来对通用多版本智能合约进行漏洞检测,并分析了静态方法的不足,改进了基于混合模糊测试的智能合约漏洞动态检测方法,本文的贡献主要在于以下几点:1.本文对常见的29种智能合约漏洞检测工具的原理进行了分析,将其分为形式化验证法、符号执行法、模糊测试法、中间表示法、污点分析法、深度学习法等六大类。并对其中多款智能合约漏洞检测工具在可检测漏洞类型、检测准确率、可检测智能合约版本等方面进行了实验对比。最终对实验结果进行了总结,阐述了目前深度学习法静态检测工具检测智能合约漏洞的准确率、效率较高,但可检测智能合约漏洞较少、版本较老旧,检测断言失败、未处理的异常等漏洞存在不足,针对静态检测工具的不足,可以通过动态检测工具进行弥补等结论。2.本文提出了一种基于图神经网络的多特征融合漏洞检测方法。该方法通过将多种图特征和模式特征相融合,提高了漏洞检测的准确率,将可检测漏洞提升到7种,并解决了通用高版本智能合约无法检测的问题,最后通过实验对此方法进行了验证。3.本文改进的基于混合模糊测试的智能合约漏洞动态检测方法可以检测断言失败、重入、整数溢出等10种智能合约常见漏洞。通过对遗传算法进行优化与改进,提出了线性排序分割算子、概率交叉算子、稳定突变算子等概念,提高了漏洞检测效率、代码覆盖率、分支覆盖率,并通过实验对此方法进行了验证。

关键词：区块链智能合约漏洞检测图神经网络混合模糊测试

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：