赖海光
- 作品数：40 被引量：244H指数：8
- 供职机构：解放军理工大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- 网络访问控制模型及其方法和终端
- 本发明提供一种网络访问控制模型及其方法和终端，用于对访问一网络资源的用户分配恰当的访问权限。该网络访问控制模型包括：用户模块,用于提取所述用户的至少一属性；权限模块，定义对受保护对象执行某个动作的一种许可，定义了对所述网...
- 吴礼发李华波曾晓光郑成辉赖海光贺正求
- 文献传递
- 有效的爬行Ajax页面的网络爬行算法被引量：5
- 2013年
- Ajax页面的生成和页面导航需要执行客户端的JavaScript代码,传统网络爬行算法无法获取Ajax页面全部内容。分析了Ajax的工作方式,阐述了爬行Ajax网页所面临的主要问题,提出并实现了一种有效爬行Ajax页面的网络爬行算法。该算法可控制客户端浏览器动态生成页面内容和完成页面导航,为爬行过的页面分配标识编号并生成相应静态页面。实验结果表明,提出的算法所爬行的Ajax页面数量明显多于传统方法,同时,采用的双重消重策略可有效减少算法的时间耗费。
- 李华波吴礼发赖海光郑成辉黄康宇
- 关键词：AJAX搜索引擎
- 一种基于π^t演算的安全协议建模方法
- 2010年
- 安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞.
- 韩进蔡圣闻王崇峻赖海光谢俊元
- 关键词：安全协议验证形式化方法
- 并行入侵检测技术研究
- 随着计算机网络技术的飞速发展，各种基于网络的信息系统在社会生活的各个方面得到了广泛的应用。然而，在计算机网络给我们带来方便和效率的同时，频频发生的网络攻击也给我们带来了严重的安全威胁。网络入侵检测系统是对抗网络攻击的一种...
- 赖海光
- 关键词：网络安全网络攻击并行入侵检测
- 基于高速网络数据处理平台的入侵检测方法和系统
- 基于高速数据处理平台的入侵检测方法和系统，由系统数据交换支持系统、数据接入及预处理板卡、入侵检测数据处理板卡组成；其中，接入板可实现接入数据预处理，通过对数据包计算HASH，将它们动态负载均衡的发到多块入侵检测处理板卡上...
- 赖海光金毅黄皓谢俊元谢立
- 文献传递
- 分布部署的集中网络管理系统
- 冯永勤胡谷雨胥肖辉钱进柏屏王美玲吴君青赖海光李杰谭琳李晨
- 该项目开发的分布部署的集中网络管理系统具有独立的计算机软件著作权（软著登字第016195号）。该系统由一个网管中心和若干个网管分中心组成，支持分布式部署的集中化网络管理，同一软件可以安装多个互连的管理中心，管理层次没有限...
- 关键词：
- 关键词：网络管理系统
- 基于报文分析的协议格式自动推断方法
- 基于报文分析的协议格式自动推断方法，对协议实体的输入输出报文进行分析从而推断协议报文具体格式的方法，包括以下步骤：首先是依据字符的可显示属性，以字节为单位对获取的网络报文进行划段，并基于划段展现出的格式序列进行初步聚类；...
- 洪征吴礼发李华波赖海光郑成辉黄康宇潘璠
- 文献传递
- 基于状态融合的协议状态机自动推断方法
- 本发明涉及网络技术领域，提供一种基于状态融合的协议状态机自动推断方法，包括以下步骤：报文格式提取与报文分类、会话抽象与初始状态机构建、以及基于输出报文的状态融合。本发明的协议状态机自动推断方法采用增强前缀树转换器EPTT...
- 洪征吴礼发郑成辉潘璠赖海光李华波周振吉
- 文献传递
- SNMP网络管理平台NetInsight的设计与实现被引量：4
- 2003年
- 介绍了一个实用SNMP网络管理平台NetInsight的设计与实现,其特点在于简单实用,并在某些方面具有自己的特色与创新.首先给出了NetInsight的系统结构;然后分别介绍了NetInsight提供的高效的拓扑发现工具、SNMPMIB的通用数据库实现、通用的性能管理工具以及智能的告警管理工具;最后是对该网管平台的评价和下一步的工作.
- 胥光辉胡谷雨赖海光徐永森沈新
- 关键词：SNMP拓扑发现软件设计
- 基于IWT和广义差值扩展的可逆水印算法被引量：2
- 2016年
- 针对传统差值扩展可逆水印算法的缺陷,提出了一种基于整数小波变换(IWT)和广义差值扩展的可逆水印算法。它将原始图像划分成4×4大小的互不重叠的像素块;计算各分块的近似平滑度值,该值在水印嵌入前后保持不变;将所有分块按平滑度值进行排序;根据水印信息量,依序选取适当数目的分块;对所选取分块进行整数小波变换,在变换后的低频部分利用广义差值扩展法嵌入水印信息,在高频部分通过数据压缩嵌入水印辅助信息。实验结果表明,该算法在减小图像失真的同时,提高了信息嵌入量,另外在同等水印嵌入量下,该算法的PNSR高于常见的一些算法。
- 张正伟吴礼发赖海光李华波郑成辉
- 关键词：可逆水印数据压缩
