-
Patent Agency Ranking
公开(公告)号：CN101764807A
公开(公告)日：2010-06-30
申请号：CN200910241934.3
申请日：2009-12-16
Applicant: 北京邮电大学
Abstract: 一种基于元搜索引擎的多源下载互联网资源的装置及方法，该装置设有用户单元、叠加网单元、搜索单元与下载单元，所有单元或软件模块均部署在客户端，并在客户端完成所有下载操作，以弱化现有的下载装置对中心服务器或多媒体检索数据库的依赖和脱离服务被动选择的模式，并充分利用元搜索引擎的发展，开展互联网的下载应用。该装置充分利用互联网的元搜索引擎定位发现文件源地址，并对目标文件进行同一资源的多个地址搜索，通过多源下载技术进行目标资源的并行下载与合并。做到了既利用各类搜索引擎的发展，提高搜索结果的准确度；又利用多源下载技术提供更快、更稳定的下载服务。而且，资源的地址与搜索都基于用户的设置，能满足用户的个性化需求。
-
公开(公告)号：CN101764807B
公开(公告)日：2012-09-05
申请号：CN200910241934.3
申请日：2009-12-16
Applicant: 北京邮电大学
Abstract: 一种基于元搜索引擎的多源下载互联网资源的装置及方法，该装置设有用户单元、叠加网单元、搜索单元与下载单元，所有单元或软件模块均部署在客户端，并在客户端完成所有下载操作，以弱化现有的下载装置对中心服务器或多媒体检索数据库的依赖和脱离服务被动选择的模式，并充分利用元搜索引擎的发展，开展互联网的下载应用。该装置充分利用互联网的元搜索引擎定位发现文件源地址，并对目标文件进行同一资源的多个地址搜索，通过多源下载技术进行目标资源的并行下载与合并。做到了既利用各类搜索引擎的发展，提高搜索结果的准确度；又利用多源下载技术提供更快、更稳定的下载服务。而且，资源的地址与搜索都基于用户的设置，能满足用户的个性化需求。
-
公开(公告)号：CN102129538A
公开(公告)日：2011-07-20
申请号：CN201110052452.0
申请日：2011-03-04
Applicant: 北京邮电大学
Abstract: 一种传感器网络源代码缓冲区溢出漏洞检测系统和方法，系统包括两种装置：溢出漏洞的分析装置和测试装置。前者设有顺序连接的安全威胁定位、污点分析和测试用例生成三个模块；后者设有检测端和被检测端，用于按照来自分析装置的测试用例，对源代码测试是否存在缓冲区溢出漏洞，并将测试结果作出告示，以便对该不安全的代码采取改进措施。本发明能够检测和分析用于传感器网络的基于C或NesC语言的源代码，即定位源代码中的安全威胁，并生成源代码对应的测试用例，对其中可能存在的缓冲区溢出漏洞进行漏洞测试，将测试结果告示网管人员，以便对源代码采取相应措施，从而有效防止缓冲区溢出漏洞引起的蠕虫病毒的蔓延、泛滥，提高传感器网络的安全性。
-
公开(公告)号：CN102129538B
公开(公告)日：2013-05-08
申请号：CN201110052452.0
申请日：2011-03-04
Applicant: 北京邮电大学
Abstract: 一种传感器网络源代码缓冲区溢出漏洞检测系统和方法，系统包括两种装置：溢出漏洞的分析装置和测试装置。前者设有顺序连接的安全威胁定位、污点分析和测试用例生成三个模块；后者设有检测端和被检测端，用于按照来自分析装置的测试用例，对源代码测试是否存在缓冲区溢出漏洞，并将测试结果作出告示，以便对该不安全的代码采取改进措施。本发明能够检测和分析用于传感器网络的基于C或NesC语言的源代码，即定位源代码中的安全威胁，并生成源代码对应的测试用例，对其中可能存在的缓冲区溢出漏洞进行漏洞测试，将测试结果告示网管人员，以便对源代码采取相应措施，从而有效防止缓冲区溢出漏洞引起的蠕虫病毒的蔓延、泛滥，提高传感器网络的安全性。
-
公开(公告)号：CN102289362A
公开(公告)日：2011-12-21
申请号：CN201110249700.0
申请日：2011-08-26
Applicant: 北京邮电大学
Abstract: 一种分段符号执行装置及其工作方法，装置设有：语言翻译、指令指针，指令解析和符号执行器，符号化对象，符号化内存，内部状态，约束求解器和实际执行进程控制与交互器等模块，采用PYTE语言和能解析该语言的虚拟机，支持对数据类型和调用关系都复杂的程序进行符号执行；且在符号执行时，对函数参数划分IO属性和对程序分段，缓解路径爆炸，使得对大程序的符号执行时间与其规模的关联程度降低为正比例相关；还通过结合实际执行，避免符号分段执行的结果不精确；并对实际执行中的路径条件进行约束求解，判断是否符合执行条件，提高路径遍历的覆盖率，以及程序分析和测试结果的准确率，使得在实际系统的运行环境下，对大程序的符号执行技术达到实用化。
-
-
-
-
Search Results
5
records
(took 0.015 seconds)
