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

自动化学报 2021年第7期47卷 1598-1609页

作者：袁凯李俊娥刘开培陆秋余倪明罗剑波武汉大学武汉430072 空天信息安全与可信计算教育部重点实验室武汉430072 南瑞集团有限公司(国网电力科学研究院有限公司) 南京211106 国电南瑞科技股份有限公司南京211106 智能电网保护和运行控制国家重点实验室南京211106

电力广域保护系统从点到点通信逐步走向网络化通信,如何在拥塞状态下保障业务的实时性和可靠性,成为亟待解决的问题.针对传输控制协议(Transmission control protocol,TCP)不能保障实时性以及用户数据报协议(User datagram protocol,UDP... 详细信息

电力广域保护系统从点到点通信逐步走向网络化通信,如何在拥塞状态下保障业务的实时性和可靠性,成为亟待解决的问题.针对传输控制协议(Transmission control protocol,TCP)不能保障实时性以及用户数据报协议(User datagram protocol,UDP)不能保障可靠性的问题,本文提出一种联合应用层纠错、检错和重发机制的UDP传输方案,在提供低时延传输服务的同时也能保障报文的可靠性.考虑到算法的复杂性,选择本原BCH(Bose-Chaudhuri-Hocquenghem)码作为纠错编码算法,设计了编码分组方法,并通过实验验证了分组方法的正确性;对增加纠错机制后的报文实时性进行了理论分析和仿真验证;为了解决突发误码和丢包情况下的可靠性问题,进一步设计了应用层检错和重发机制,并分析了时延.分析表明,在应用层增加本文所设计的纠错、检错和重发机制后增加的时延几乎可以忽略不计.最后给出了所提方法的联合应用算法,并进行了可靠性分析,结果表明本文方案的可靠性高于其他UDP传输方案.

关键词：电力广域保护网络通信纠错实时性可靠性

来源：评论

学校读者我要写书评

暂无评论

基于交易序列分层变异的EVM模糊测试

引用

计算机系统应用 2023年第9期32卷 257-264页

作者：周潮晖赵易如刘佩王笑克童铃皓赵磊武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072

以太坊虚拟机是以太坊区块链中关键组成部分,其缺陷会导致交易的执行结果出现偏差,给以太坊生态带来严重问题.现有的以太坊虚拟机缺陷检测工作仅将虚拟机视为独立的智能合约执行工具,没有完整测试其工作流程,从而导致缺陷检测存在盲点.... 详细信息

以太坊虚拟机是以太坊区块链中关键组成部分,其缺陷会导致交易的执行结果出现偏差,给以太坊生态带来严重问题.现有的以太坊虚拟机缺陷检测工作仅将虚拟机视为独立的智能合约执行工具,没有完整测试其工作流程,从而导致缺陷检测存在盲点.针对上述问题,提出了一种以太坊虚拟机运行全过程的缺陷检测方法 (ETHCOV).ETHCOV首先结合权重策略指导智能合约、合约接口参数输入和交易序列按不同粒度变异,然后将其与区块状态以及世界状态打包作为测试用例,最后将测试用例输入到以太坊虚拟机中触发运行并对比检验运行结果,以此来检测以太坊虚拟机的漏洞缺陷.基于上述方法实现了一个原型系统,并以2万多个真实智能合约作为为输入对以太坊虚拟机进行缺陷检测测试.实验结果表明,相较于现有工具EVMFuzzer, ETHCOV的测试效率提升了339%,代码覆盖率提升了125%,并检测出3组用例的不一致输出.这些结果表明ETHCOV能有效检测以太坊虚拟机的缺陷.

关键词：以太坊虚拟机模糊测试智能合约交易序列

来源：评论

学校读者我要写书评

暂无评论

广域实时精密定位的数据服务系统设计与验证

引用

小型微型计算机系统 2015年第1期36卷 27-32页

作者：董红波郭迟崔竞松楼益栋武汉大学卫星导航定位技术研究中心武汉430079 武汉大学软件工程国家重点实验室武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

广域实时精密定位技术为移动互联网、物联网的发展提供了重要的时空基准.主要介绍广域精密定位的增强电文服务系统的相关框架与核心算法:1)设计了时空自适应的低冗余增强电文编码和传输协议,对卫星轨道钟差改正数采用有效位截取的压缩算... 详细信息

广域实时精密定位技术为移动互联网、物联网的发展提供了重要的时空基准.主要介绍广域精密定位的增强电文服务系统的相关框架与核心算法:1)设计了时空自适应的低冗余增强电文编码和传输协议,对卫星轨道钟差改正数采用有效位截取的压缩算法,对电离层改正数据采用时空自适应的格网分层离散化方法进行播发;2)设计了基于虚拟化弹性调度的多级数据播发机制,通过资源的动态分配和弹性扩展算法提高系统可靠性;3)通过一系列城市环境下车联网精准定位实验,验证系统的服务质量,分析了网络信号、地理环境、通视条件等众多因素对精密定位的影响.

关键词：北斗卫星导航广域实时精密定位大数据服务汽车物联网

来源：评论

学校读者我要写书评

暂无评论

基于时延特征的网络设备异常检测

引用

计算机科学 2023年第3期50卷 371-379页

作者：崔竞松张童桐郭迟郭文飞空天信息安全与可信计算教育部重点实验室(武汉大学国家网络安全学院) 武汉430079 武汉大学卫星导航定位技术研究中心武汉430079

随着互联网的飞速发展,网络设备的安全问题受到了广泛关注。针对现有的网络设备异常检测技术存在破坏性强、检测难度大的问题,文中以网络设备传输处理数据包所花费的时延作为检测依据,提出了一种基于时延特征的异常检测方案。所提方案... 详细信息

随着互联网的飞速发展,网络设备的安全问题受到了广泛关注。针对现有的网络设备异常检测技术存在破坏性强、检测难度大的问题,文中以网络设备传输处理数据包所花费的时延作为检测依据,提出了一种基于时延特征的异常检测方案。所提方案采用了侧信道分析的方法,无须对网络设备进行升级改造,具有非侵入、易实施、广域性等特点。首先,使用高精度授时技术时戳机采集家庭路由器传输数据包时的时延变化信息,采用遗传算法提取时延分布的峰值位置特征;然后,针对数据集不平衡的问题,使用一类支持向量机算法构建异常检测算法;最后,通过搭建实验平台验证了检测方案的有效性,并对实验结果进行了评估。实验结果表明,所提方法具备可行性和有效性。

关键词：异常检测时延网络设备一类支持向量机峰值位置

来源：评论

学校读者我要写书评

暂无评论

基于第三方库隔离的Python沙箱逃逸防御机制

引用

信息网络安全 2024年第5期24卷 682-693页

作者：杨志鹏王鹃马陈军亢云峰武汉大学国家网络安全学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 北京华为数字技术有限公司北京100085

PaaS平台由于可提供Python服务成为目前较受欢迎的云服务。PaaS平台应用Python沙箱解决安全问题,同时允许用户使用Python C化模块以降低Python对性能的影响。然而,攻击者能够利用Python沙箱策略的漏洞进行逃逸,导致危害底层系统。现有的... 详细信息

PaaS平台由于可提供Python服务成为目前较受欢迎的云服务。PaaS平台应用Python沙箱解决安全问题,同时允许用户使用Python C化模块以降低Python对性能的影响。然而,攻击者能够利用Python沙箱策略的漏洞进行逃逸,导致危害底层系统。现有的Python沙箱大多在代码层进行防御,缺乏对Python C化模块的监管和防护。文章分析了Python C化模块的底层原理和Python沙箱逃逸的特点,针对沙箱逃逸后需要执行特定危险函数发起攻击的特征,提出一种基于第三方库隔离的Python沙箱逃逸防御机制,并实现了原型系统。该机制的原型系统利用GOT Hook技术对Python的C化模块导入行为和危险函数调用行为进行接管,在Python导入C化模块时,提前对该C化模块进行安全检查和隔离。另外,在Python调用危险函数时,对该函数的参数进行检查。实验结果表明,文章所提机制能够有效防御攻击者利用自定义的C化模块逃逸Python沙箱以及使用恶意参数调用危险函数。在正常使用时,文章所提机制的时间开销较低,平均时间开销小于5%。

关键词： Python沙箱第三方库隔离沙箱逃逸防御机制 Hook技术

来源：评论

学校读者我要写书评

暂无评论

适用于空间DTN的非交互式密钥交换协议

引用

计算机工程 2016年第4期42卷 137-142页

作者：杜瑞颖周振玉米兰.黑娜亚提武汉大学计算机学院乌鲁木齐830049 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 新疆广播电视大学远程教育学院乌鲁木齐830049

针对空间时延容忍网络高延时、连接易中断等特点,提出一种非交互式的密钥交换协议,并在随机预言模型下对其进行安全性证明。该协议无需用户交互即生成一个共享的对称密钥,可消除对传统公钥基础设施中证书的依赖,减少通信与存储开销,同... 详细信息

针对空间时延容忍网络高延时、连接易中断等特点,提出一种非交互式的密钥交换协议,并在随机预言模型下对其进行安全性证明。该协议无需用户交互即生成一个共享的对称密钥,可消除对传统公钥基础设施中证书的依赖,减少通信与存储开销,同时避免基于身份的公钥加密体制中存在的密钥托管问题。分析结果表明,该协议未使用耗时的双线性对运算,具有较高的计算效率,更适用于计算能力受限、能量资源宝贵的空间环境。

关键词：时延容忍网络非交互式密钥交换无证书密码可证明安全随机预言模型

来源：评论

学校读者我要写书评

暂无评论

基于样本嵌入的挖矿恶意软件检测方法

引用

计算机科学 2024年第1期51卷 327-334页

作者：傅建明姜宇谦何佳郑锐苏日古嘎彭国军武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072 嵩山实验室技术中心郑州450046 河南大学计算机与信息工程学院河南开封475000

加密货币挖矿恶意软件的高盈利性和匿名性,对计算机用户造成了巨大威胁和损失。为了对抗挖矿恶意软件带来的威胁,基于软件静态特征的机器学习检测器通常选取单一类型的静态特征,或者通过集成学习来融合不同种类静态特征的检测结果,忽略... 详细信息

加密货币挖矿恶意软件的高盈利性和匿名性,对计算机用户造成了巨大威胁和损失。为了对抗挖矿恶意软件带来的威胁,基于软件静态特征的机器学习检测器通常选取单一类型的静态特征,或者通过集成学习来融合不同种类静态特征的检测结果,忽略了不同种类静态特征之间的内在联系,其检测率有待提升。文章从挖矿恶意软件的内在层级联系出发,自下而上提取样本的基本块、控制流程图和函数调用图作为静态特征,训练三层模型以将这些特征分别嵌入向量化,并逐渐汇集从底层到高层的特征,最终输入分类器实现对挖矿恶意软件的检测。为了模拟真实环境中的检测情形,先在一个小的实验数据集上训练模型,再在另一个更大的数据集上测试模型的性能。实验结果表明,三层嵌入模型在挖矿恶意软件检测上的性能领先于近年提出的机器学习模型,在召回率和准确率上相比其他模型分别提高了7%和3%以上。

关键词：挖矿恶意软件静态分析机器学习图嵌入

来源：评论

学校读者我要写书评

暂无评论

国密SM9数字签名和密钥封装算法的安全性分析

引用

中国科学：信息科学 2021年第11期51卷 1900-1913页

作者：赖建昌黄欣沂何德彪伍玮福建师范大学计算机与网络空间安全学院福建省网络安全与密码技术重点实验室福州350117 武汉大学网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072 福建师范大学数学与统计学院福建省应用数学中心福州350117

安全性分析为密码方案的安全性提供重要依据和有力保障.我国自主设计的商用标识密码SM9已成为国家标准,其中,SM9数字签名算法和加密算法已成为ISO/IEC国际标准.然而,现有关于SM9标识密码算法安全性分析的公开发表研究成果较少.Cheng在In... 详细信息

安全性分析为密码方案的安全性提供重要依据和有力保障.我国自主设计的商用标识密码SM9已成为国家标准,其中,SM9数字签名算法和加密算法已成为ISO/IEC国际标准.然而,现有关于SM9标识密码算法安全性分析的公开发表研究成果较少.Cheng在Inscrypt 2018基于Gap-q-BCAA1假设,给出了SM9密钥交换协议、密钥封装机制和公钥加密算法的安全性证明.本文首先基于q-SDH假设和随机谕言模型,证明SM9数字签名算法具有EUF-CMIA的安全性.其次,为了消除对Gap类困难假设的依赖,采用Twin-Hash-ElGamal技术,提出基于SM9密钥封装机制的新型密钥封装机制Twin-SM9.与SM9密钥封装机制相比,Twin-SM9的系统公钥和用户私钥分别增加了一个群元素,而封装密文长度保持不变.在随机谕言模型中证明,若q-BDHI假设成立,则Twin-SM9密钥封装机制满足IND-CCA.然后进一步阐明了SM9标识密码的安全性,研究结果有助于基于SM9的高级密码协议和算法的设计与分析.

关键词： SM9 安全性分析数字签名密钥封装 CCA

来源：评论

学校读者我要写书评

暂无评论

基于分布式可信度量的移动代理安全应用模型研究

引用

计算机工程与科学 2010年第6期32卷 19-21,98页

作者：武小平邢宏根沈志东武汉大学计算机学院空天信息安全与可信计算教育部重点实验室湖北武汉430072 湖北大学知行学院湖北武汉430011 武汉大学国际软件学院软件工程国家重点实验室湖北武汉430079

本文主要讨论了可信计算平台上的移动代理安全方案。利用可信计算平台提供的可信度量策略与信任链机制,构建基于可信度量的移动代理安全体系结构。进一步地,在此类平台所构成的移动代理分布式计算环境中,建立了移动代理平台间基于可信... 详细信息

本文主要讨论了可信计算平台上的移动代理安全方案。利用可信计算平台提供的可信度量策略与信任链机制,构建基于可信度量的移动代理安全体系结构。进一步地,在此类平台所构成的移动代理分布式计算环境中,建立了移动代理平台间基于可信度量的信任关系数学模型,并进行了数值模拟与测试验证。

关键词：可信度量移动代理信任模型

来源：评论

学校读者我要写书评

暂无评论

基于OpenFlow的SDN状态防火墙

引用

计算机工程与应用 2018年第15期54卷 84-90页

作者：王鹃刘世辉文茹洪智王江樊成阳张浩喆软件工程国家重点实验室武汉430072 空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072 清华大学计算机科学与技术系北京100084

提出了一种基于OpenFlow的状态检测防火墙系统,该方案通过在SDN控制器和交换机中添加状态表和变换流表,并根据包的类型分别制定相应的状态转换规则,实现对SDN网络状态的监测。最后,在开源控制器Floodlight和Open vSwitch上实现了一个基... 详细信息

提出了一种基于OpenFlow的状态检测防火墙系统,该方案通过在SDN控制器和交换机中添加状态表和变换流表,并根据包的类型分别制定相应的状态转换规则,实现对SDN网络状态的监测。最后,在开源控制器Floodlight和Open vSwitch上实现了一个基于状态检测的防火墙系统,并对该防火墙的性能进行了评估,结果表明基于OpenFlow的SDN状态检测防火墙能够识别不同类型的包并实现现有SDN防火墙不能实现的基于状态的细粒度访问控制。

关键词：软件定义网络 OpenFlow协议状态检测防火墙

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：