马超
- 作品数:4 被引量:0H指数:0
- 供职机构:中国科学院信息工程研究所更多>>
- 相关领域:自动化与计算机技术更多>>
- 模糊可搜索加密方法、装置及电子设备
- 本发明提供一种模糊可搜索加密方法、装置及电子设备,该方法包括:私有云服务器接收数据使用者发送的索引密钥和包括检索关键词的查询请求;根据检索关键词构建检索模糊词集并根据索引密钥计算得到对应的陷门集;向公有云服务器发送包括陷...
- 胡波龙红平王妍马超吕遒健
- 网络验证研究综述
- 2023年
- 随着计算机网络规模和复杂度的日益增长,网络管理人员难以保证网络意图得到了正确实现,错误的网络配置将影响网络的安全性和可用性.受到形式化方法在硬软件验证领域中成功应用的启发,研究人员将形式化方法应用到网络中,形成了一个新的研究领域,即网络验证(network verification),旨在使用严格的数学方法证明网络的正确性.网络验证已经成为当下网络和安全领域的热点研究,其研究成果也在实际网络中得到了成功应用.从数据平面验证、控制平面验证和有状态网络验证3个研究方向,对网络验证领域的已有研究成果进行了系统总结,对研究热点内容与解决方法进行了分析,旨在整理网络验证领域的发展脉络,为本领域研究者提供系统性文献参考和未来工作展望.
- 方星胡波马超黄伟庆
- 关键词:网络验证形式化方法网络可靠性网络安全
- 基于Linux的数据处理方法、装置、电子设备及存储介质
- 本发明提供一种基于Linux的数据处理方法、装置、电子设备及存储介质,涉及数据处理技术领域,其中基于Linux的数据处理方法包括:接收数据采集请求,该数据采集请求中携带有目标数据标识集合,所述目标数据标识集合中包括至少一...
- 王妍李宁余冬清赵楠杨海天马超
- 基于Hadoop和Red5的视频点播系统及方法
- 本发明提供了一种基于Hadoop和Red5的视频点播系统及方法,方法包括Red5对客户端视频点播请求进行分析得到客户端点播的视频文件名,并判断该视频文件在Red5的本地文件目录下是否存在,若不存在,则向Hadoop分布式...
- 陈玉成芦翔汪明伟熊乃学郭春云马超周新运孙利民
- 文献传递