张立强
- 作品数：39 被引量：382H指数：6
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学环境科学与工程航空宇航科学技术更多>>
- 基于边界值不变量的对抗样本检测方法被引量：3
- 2020年
- 目前,深度学习成为计算机领域研究与应用最广泛的技术之一,在图像识别、语音、自动驾驶、文本翻译等方面都取得良好的应用成果。但人们逐渐发现深度神经网络容易受到微小扰动图片的影响,导致分类出现错误,这类攻击手段被称为对抗样本。对抗样本的出现可能会给安全敏感的应用领域带来灾难性的后果。现有的防御手段大多需要对抗样本本身作为训练集,这种对抗样本相关的防御手段是无法应对未知对抗样本攻击的。借鉴传统软件安全中的边界检查思想,提出了一种基于边界值不变量的对抗样本检测防御方法,该方法通过拟合分布来寻找深度神经网络中的不变量,且训练集的选取与对抗样本无关。实验结果表明,在LeNet、vgg19模型和Mnist、Cifar10数据集上,与其他对抗检测方法相比,提出的方法可有效检测目前的常见对抗样本攻击,并且具有低误报率。
- 严飞张铭伦张立强
- 关键词：不变量
- 一种基于MPX的内存时间错误防护方法
- 本发明公开了一种基于MPX的内存时间错误防护方法，首先进行代码指针元数据准备；然后对元数据指针元数据进行索引和管理；在代码指针加载时，将生成的指针元数据加载进影子内存；接着在代码指针解引用前，对代码指针进行合法性检查；最...
- 严飞王锴张立强黄鑫吴汝珊
- 一种基于数据起源技术的程序异常传播模型构造方法
- 本发明公开了一种基于数据起源技术的程序异常传播模型构造方法，本发明的异常传播模型的构造分为三个阶段：第一个阶段针对程序的每个方法构造方法的异常控制流图，第二个阶段基于生成的控制流图，进行数据流分析，生成异常的派生图和异常...
- 贾向阳应时陈旭张立强
- 文献传递
- 可信云计算研究综述被引量：9
- 2022年
- 云计算具有高性能、服务化、弹性伸缩、环境友好等优点,已经成为广泛采用的新型IT基础设施。资源外包与资源租赁的服务化本质,导致安全与隐私需求尤为突出,传统安全技术方案无法有效满足云计算的安全需求。为此,近年来学术界和工业界实现了一系列的安全改进和创新,试图用自底向上的思路解决云计算中的各类安全问题,构建可信云体系架构,以期实现云计算的安全可信。本文围绕云计算环境面临的安全威胁展开讨论,给出了当前主流的可信云计算实现思路与关键技术,讨论了相关工作的优势与不足,并对可信云计算的发展方向进行了探讨。
- 张立强吕建荣严飞熊云飞
- 关键词：云计算可信计算
- 新疆广播电视大学网络教学平台课程个性化学习系统的设计与安全机制研究
- 2010年
- 新疆广播电视大学的网络教学平台是新疆发展远程教育的骨干力量,提供双语教学,能够满足绝大部分教学需求,但是在教学内容与平台智能方面还未实现精细化教学的目标,难以实现因材施教.本文针对上述问题,引入了个性化学习理论,在现有网络教学平台上设计网上课程个性化学习系统架构,并对系统中的资源建设与管理、个性化设计以及安全性机制进行了探讨.网上课程个性化学习系统可以在确保教学平台安全可信的前提下提高教学质量,有利于学生的个人发展.
- 米兰.黑娜亚提张立强张焕国
- 关键词：网络化教学个性化学习信息安全
- “地质资源勘查与评价”课程思政教学初探
- 2023年
- 课程思政教学在人才培养中发挥着非常重要的作用。“地质资源勘查与评价”课程兼具育人和育才双重目标,教学团队充分挖掘课程思政元素,将课程思政教学有机融入专业教学之中,并以学生为中心,从促进其健康成长、成材、成才和栋梁之材四个层次循序递进,从师资、教学设计、教学方法、教学案例库和课程思政素材库等多个方面保障课程教学目标的顺利实现。
- 夏庆霖刘岳刘岳张立强张立强
- 关键词：教学目标教学案例
- 一种基于顺序和频率模式的系统调用轨迹异常检测框架被引量：2
- 2022年
- 针对现有的基于系统调用的异常入侵检测方法使用单一轨迹模式无法准确反映进程行为的问题,基于系统调用轨迹的顺序和频率模式对进程行为进行建模,设计了一个数据驱动的异常检测框架。该框架可以同时检测系统调用轨迹的顺序异常和定量异常,借助组合窗口机制,通过满足离线训练和线上检测对提取轨迹信息的不同需求,可以实现离线细粒度学习和线上异常实时检测。在ADFA-LD入侵检测标准数据集上进行了针对未知异常检测性能的对比实验,结果表明,相比4类传统机器学习方法和4类深度学习方法,该框架的综合检测性能提高了10%左右。
- 魏辉陈泽茂张立强
- 云计算环境下基于系统依赖图的远程证明方案被引量：2
- 2020年
- 针对云计算环境中服务端执行行为不能被度量以致用户无法判断自身数据安全性的问题,提出云计算环境下基于系统依赖图(system dependence graph,SDG)的远程证明方案。该方案通过构建服务端程序的系统依赖图,刻画程序与文件间的依赖关系,建立行为度量目标集合,实现对用户数据访问程序执行过程的度量分析;针对客户端对云计算服务端存储的用户数据的可验证需求,对远程证明机制进行了扩展,增加了对行为度量的安全性验证。通过构造程序实例发生改变前后的程序依赖图(program dependence graph,PDG)、SDG以及对应节点信息流,验证了本文方案的可靠性和有效性。
- 陈璐柯文彬张立强陈云
- 关键词：云安全可信计算系统依赖图远程证明
- 一种基于区块链的安全高效长程自主泊车预约服务方法
- 本发明提出了一种基于区块链的安全高效长程自主泊车预约服务方法。本发明公共出行站台基于生物特征、口令和智能卡对发送乘车请求的已注册乘客进行认证。认证通过后，公共出行站台根据乘客出行时长、可用停车位的等待时长和可用自动驾驶汽...
- 曹越王迪胡紫依赵波严飞张立强
- 文献传递
- 网络安全等级保护在船舶领域的应用探索
- 随着《中华人民共和国网络安全法》的实施,如何加强关键信息基础设施保护与国家网络安全等级保护制度的有效衔接成为信息安全领域的热点研究问题.近期国内外不断曝光的船舶信息安全事件,使得智能船舶的网络安全风险管控与防护工作成为亟...
- 张立强陈青松陈志飚蔡琴
- 关键词：网络安全等级保护风险评估
