-
公开(公告)号：CN102789417B
公开(公告)日：2015-05-13
申请号：CN201210200544.3
申请日：2012-06-14
Applicant: 北京大学
IPC: G06F11/36
Abstract: 本发明提出一种移动智能终端上定向符号执行程序检测系统及方法，在符号化处理模块、系统API模拟模块、定向控制模块、过滤执行模块组成的环境中，1）载入待检测程序路径，由符号化处理模块对待检测程序路径中指令进行符号化处理，将处理结果存储到符号表SymbolicTable；2）根据待检测路径，确定被检测代码空间；3）根据执行过程记录所述变量执行约束条件，SymbolicTable更新记录；4）根据符号表SymbolicTable中约束条件找到对应的结果表达式或符号数值，判断程序中是否有可执行路径，5）反复1）—4），遍历程序中所有可达路径，完成软件中嫌疑操作检测。本发明的定向符号执行方法，与静态分析技术结合，解决程序分析中路径漏报和误报，提取出路径约束能够覆盖到所有可能的路径。
-
公开(公告)号：CN102546298B
公开(公告)日：2015-03-04
申请号：CN201210003559.0
申请日：2012-01-06
Applicant: 北京大学
IPC: H04L12/26
Abstract: 本发明涉及一种基于主动探测的僵尸网络家族检测方法，控制中心通过网络通道与僵尸主机端口连接进行通信包传递，包括步骤如下：1)扫描僵尸网络，提取得到疑似控制中心和若干活跃端口信息；2)根据僵尸网络中僵尸程序样本和其控制中心端的通信特征通过所述活跃端口与所述疑似控制中心进行协议交互；3)将所述协议交互后的反馈包与该疑似控制中心进行特征匹配；4)根据设定阀值判定僵尸网络控制中心，并对该控制中心通信进行监控；5)根据监测结果，查找出所述僵尸网络家族中所有僵尸主机。本发明是一种协议无关的方法：根据已分析出的僵尸程序样本和其控制端的通讯特征，采用本发明方法，即可对整个僵尸网络家族进行检测和监控。
-
公开(公告)号：CN103530221A
公开(公告)日：2014-01-22
申请号：CN201210228718.7
申请日：2012-07-02
Applicant: 北京大学
IPC: G06F11/36
Abstract: 本发明涉及一种Android系统中程序行为与界面操作映射方法，其步骤包括：1）程序UI动态探测；2）程序行为静态探测；3）根据Activity调用图和触发Activity组件，找出主Activity到所述触发Activity结点的路径，输出该路径的界面操作信息，完成映射。本发明用动态探测的方法获取所有可能的界面跳转关系及所需要的界面操作信息，然后用静态分析的方法分析出与程序行为相关联的界面，因此，就可以从动态探测出的界面跳转关系中知道触发行为所需要经过的界面执行路径，以及执行这些路径所需要的界面操作信息，实现程序行为与界面操作的映射。
-
公开(公告)号：CN102546298A
公开(公告)日：2012-07-04
申请号：CN201210003559.0
申请日：2012-01-06
Applicant: 北京大学
IPC: H04L12/26
Abstract: 本发明涉及一种基于主动探测的僵尸网络家族检测方法，控制中心通过网络通道与僵尸主机端口连接进行通信包传递，包括步骤如下：1)扫描僵尸网络，提取得到疑似控制中心和若干活跃端口信息；2)根据僵尸网络中僵尸程序样本和其控制中心端的通信特征通过所述活跃端口与所述疑似控制中心进行协议交互；3)将所述协议交互后的反馈包与该疑似控制中心进行特征匹配；4)根据设定阀值判定僵尸网络控制中心，并对该控制中心通信进行监控；5)根据监测结果，查找出所述僵尸网络家族中所有僵尸主机。本发明是一种协议无关的方法：根据已分析出的僵尸程序样本和其控制端的通讯特征，采用本发明方法，即可对整个僵尸网络家族进行检测和监控。
-
公开(公告)号：CN101325596B
公开(公告)日：2011-06-15
申请号：CN200810111190.9
申请日：2008-06-12
Applicant: 北京大学
Abstract: 本发明公开了一种具有容错功能的密码学分布式计算与分步检验方法，属于分布式计算领域，本发明的方法为：1)每个成员独立完成所具有共享的运算；2)各成员按照所需的访问结构，生成随机多项式并对该随机多项式诱导出的数据进行交换；3)各成员利用接收到的随机多项式数据共同生成的联合随机多项式；4)采用联合随机多项式对步骤1)的计算结果进行再共享，并将该再共享结果分发到各成员；5)每个成员对收到的再共享数据进行组合与重构，获得最终计算结果的新共享；6)每个成员通过交换新共享，重构出真实的计算结果。本发明的方法具有高效性、容错性和协议的安全性，克服了传统算法通信量巨大、效率低的问题，同时保证安全计算的连续性。
-
Patent Agency Ranking
公开(公告)号：CN101202652B
公开(公告)日：2011-05-04
申请号：CN200610165296.8
申请日：2006-12-15
Applicant: 北京大学
Abstract: 一种网络应用流量分类识别装置，包括：动态流分类装置，以报文包含的IP五元组信息为键值建立散列表，利用散列表检索网络流表； 对匹配装置，通过检索地址对信息表来对收到的报文进行匹配；服务端口匹配装置，通过检索服务端口表来对收到的报文进行匹配；流量/行为特征匹配装置，针对流的前M个报文，统计流量特征和行为特征，并与流量/行为特征模式库中的信息进行匹配；协议特征码匹配装置，将报文净荷的前L个字节与协议特征码库中的协议特征码进行匹配；决策装置，综合分析判别网络流所属的应用类型或应用协议；网络拓扑探测装置，针对不同的应用服务，搜索当前活跃节点，用节点信息动态更新地址对信息表。
-
公开(公告)号：CN101087196B
公开(公告)日：2011-01-26
申请号：CN200610169676.9
申请日：2006-12-27
Applicant: 北京大学
Abstract: 本发明涉及一种多层次蜜网数据传输方法及系统，由蜜网网关统一接收外部网络数据流；蜜网网关对所接收的数据流进行网络入侵检测分析；将正常数据流放行，发送给该数据流的目标主机；将非正常数据流按照威胁级别分为高、中、低三类；将高威胁级数据流重定向至物理蜜罐系统，将中威胁级数据流重定向至虚拟机蜜罐系统，将低威胁级数据流重定向至虚拟蜜罐系统。本发明有效利用低交互蜜罐系统和高交互蜜罐系统各自的优点，节省系统资源，提高了蜜罐系统的覆盖面和获取网络攻击活动信息、捕获恶意代码样本的能力；有效对抗反蜜罐技术。可以广泛应用于计算机网络安全技术领域。
-
公开(公告)号：CN101193044B
公开(公告)日：2010-05-12
申请号：CN200610144809.7
申请日：2006-11-21
Applicant: 北京大学
Abstract: 一种实时检测网络活动的重定向方法，包括步骤：A.通过对网络活动的监测和分析得到局域网内的活跃IP，并将其登记在活跃IP地址表中，此外，一个定时任务将确认剩余存活时间减少到0的IP地址是否确实不再活跃，并将不再活跃的IP地址从活跃IP地址表中删除；B.判别待转发的数据包是否符合重定向要求，并根据查询结果放行或者重定向该数据包。用于实现该方法的装置包括：用于监测并登记活跃IP地址的网络活动监测模块和用于根据网络活动检测模块的实时检测结果重定向通信连接的重定向模块。本发明通过监测局域网内部的网络活动实现了对局域网中活跃IP地址的探测，能够即时地重定向外部网络向内部非活跃IP地址发起的通信连接。
-
公开(公告)号：CN100574325C
公开(公告)日：2009-12-23
申请号：CN200610170718.0
申请日：2006-12-26
Applicant: 北京大学
Abstract: 本发明提供了一种Web通信加密方法，该方法区分客户端与服务端是首次通信还是再次通信两种情况。首次访问的客户端与服务端进行Web通信时，需要协商确定通信的密码算法，再次通信时无需再次协商；首次通信时，客户端获取服务端提供的通信主密钥后保存该通信主密钥，再次通信时，服务端只需在本地计算生成密钥，客户端采用本地保存的通信主密钥实现会话密钥的传送，随后双方采用会话密钥对通信数据进行加解密，实现保密通信。本发明的通信加密方法大大减少了服务端密钥存储量，并且对于服务端密钥交换运算负荷的降低也是显而易见的。
-
公开(公告)号：CN100459574C
公开(公告)日：2009-02-04
申请号：CN200510086440.4
申请日：2005-09-19
Applicant: 北京大学
IPC: H04L12/56
Abstract: 本发明涉及一种对网络流进行分类、状态跟踪和报文处理的装置和方法，采用基于IP五元组或者其他特定标识的动态流分类方法实现了对流量的细粒度控制，采用多个并行装置和装置内部多进程/线程机制实现了对流量的高速并行处理，通过切分网络流表、设置流记录链表写者唯一、严格规定链表插入和删除操作过程中写指令次序以保持链表的完整性、设置空闲流记录表项缓冲区的可分配表项阈值等措施避免了由于并行处理而引发的大量互斥和同步操作，使得处理效率得到进一步提高。本发明适用于网络处理器、ASIC、FPGA、多内核处理器、对称多处理器(SMP)、软件进程/线程等各种并行处理环境，具有良好的跨平台兼容性、可扩展性和实用性。
-
-
-
-
-
-
-
-
-
Search Results
63
records
(took 0.028 seconds)
