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

中国科学：信息科学 2024年第9期54卷 2157-2180页

作者：陈昌骅万海赵曦滨北京信息科学与技术国家研究中心北京100084 信息系统安全教育部重点实验室北京100084 清华大学软件学院北京100084

在攻击调查领域,为应对依赖爆炸和语义鸿沟的挑战,日志融合通过引入多层级日志的丰富语义得到系统实体之间细粒度的因果关系,以逼近实际的执行历史.然而,由于审计日志的系统调用和应用日志的程序消息被用来推断复杂的系统状态,基于日志... 详细信息

在攻击调查领域,为应对依赖爆炸和语义鸿沟的挑战,日志融合通过引入多层级日志的丰富语义得到系统实体之间细粒度的因果关系,以逼近实际的执行历史.然而,由于审计日志的系统调用和应用日志的程序消息被用来推断复杂的系统状态,基于日志融合的攻击调查系统存在被对抗攻击的弱点,本文率先提出并称之为日志重融合攻击(log refusion attacks),其演示了攻击者如何增强实际漏洞来破坏日志完整性,绕过现有防御,破坏溯源中的联结并陷害良性用户.而后,本文提出一种攻击调查的新设计PRovGuARD(provenance guardian),它利用同时包含程序调用控制流和应用消息数据流的建模来交叉验证审计日志和应用日志的历史记录,以确保执行的合法性和一致性.如果攻击者毁损溯源数据,将检测到矛盾并告警,修正执行路径,得到正确的攻击根因和后果.本文在Linux上实现了原型,并在覆盖各类执行模型的14个实际应用场景及程序上进行了广泛评估.实验结果显示,其成功验证还原了正确的攻击故事,且平均性能开销比传统审计框架仅高3.62%,同时在最坏情况下只重新引入0.78%的错误依赖,证明了原型的有效性及其防御攻击的新颖性.

关键词：攻击调查对抗攻击日志融合控制流图数据流图

来源：评论

学校读者我要写书评

暂无评论

基于序列特征提取的溯源图上APT攻击检测方法

引用

中国科学：信息科学 2022年第8期52卷 1463-1480页

作者：梁若舟高跃赵曦滨清华大学软件学院北京信息科学与技术国家研究中心信息系统安全教育部重点实验室北京100084

在真实场景,特别是工业场景下的高级持续性威胁(advanced persistent threat,APT)具有复杂性和长期性,但当前方法无法有效提取攻击中的长期关联关系.针对这一问题,本文提出一种基于溯源图的APT攻击检测方法***采用序列特征提取方式,实现... 详细信息

在真实场景,特别是工业场景下的高级持续性威胁(advanced persistent threat,APT)具有复杂性和长期性,但当前方法无法有效提取攻击中的长期关联关系.针对这一问题,本文提出一种基于溯源图的APT攻击检测方法***采用序列特征提取方式,实现APT攻击检测.在SeqNet中,首先将描述系统运行状态的溯源图序列转化为特征向量序列,然后使用GRU(gate recurrent unit)模型提取系统状态变化特征,并使用结合局部注意力机制的编解码器模型训练GRU模型,最后利用K-means聚类方法对系统正常行为进行建模.本文在5个公开数据集StreamSpot,wget,shellshock,ClearScope和CADETS上进行了实验,并与当前具有代表性的方法进行了对比.本文方法在5个数据集上都取得了相似或更好的效果.实验结果证明本文方法能够实现真实场景下的APT攻击检测.

关键词： APT攻击检测溯源图异常检测序列特征提取局部注意力机制

来源：评论

学校读者我要写书评

暂无评论

基于分支标记的数据流模型的代码生成方法

引用

软件学报 2021年第6期32卷 1647-1662页

作者：苏卓王东艳杨镒箫张明睿姜宇孙家广清华大学软件学院北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084 北京大学信息科学技术学院北京100871

模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型,然而,各种工具对于数据流模型... 详细信息

模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型,然而,各种工具对于数据流模型的代码生成能力却参差不齐,特别是对于数据分支组件的支持,当前主流的建模工具都采用各种方式来回避复杂的分支建模及对应的代码生成.但是,分支建模是非常重要的,使用分支组件可以更清晰地表现出数据流的数据传递逻辑.为了解决复杂分支建模带来的代码生成难题,针对具有复杂分支组合的数据流模型.提出了一种基于分支调度标记的代码生成方法.在所提出的算法中,首先通过拓扑排序确定模型的调度顺序,再根据不同分支的影响对组件进行分支标记;之后,根据组件的分支标记构造一个基于控制流的代码生成位置表;最后,即可根据代码生成位置表进行各种主流语言的代码生成.通过构造4个具有复杂分支的数据流模型实例进行代码生成,并在生成代码行数和运行时间等方面与Simulink和Ptolemy进行对比,进一步说明该代码生成方法在复杂分支组合情况下的通用性以及所做工作的价值和意义.

关键词：模型驱动开发数据流代码生成分支嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

一种基于变量隐藏抽象的IC3硬件验证算法

引用

计算机科学 2023年第S02期50卷 783-788页

作者：杨柳范洪宇李东方贺飞清华大学软件学院北京100084 教育部信息系统安全重点实验室北京100084 北京国家信息科学与技术研究中心北京100084 北京计算机技术及应用研究所北京100854

随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。... 详细信息

随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。

关键词：硬件验证 IC3算法形式化方法模型检验变量隐藏抽象

来源：评论

学校读者我要写书评

暂无评论

基于信任度评估的分布式算力交易方案

引用

网络与信息安全学报 2025年第1期11卷 79-91页

作者：王英晓春王连海徐淑奖张淑慧刘天瑞齐鲁工业大学(山东省科学院) 山东省计算中心(国家超级计算济南中心)算力互联网与信息安全教育部重点实验室山东济南250014 山东省工业网络和信息系统安全重点实验室山东省基础科学研究中心(计算机科学)山东济南250014

算力网络主要通过连接和整合分布式的异构计算节点,实现网络和计算资源的优化及高效利用。在算力网络中,节点因自身资源受限,通常需要以交易形式请求其他节点的计算资源来完成计算任务,引入信任度评估机制可以有效解决泛在异构节点所引... 详细信息

算力网络主要通过连接和整合分布式的异构计算节点,实现网络和计算资源的优化及高效利用。在算力网络中,节点因自身资源受限,通常需要以交易形式请求其他节点的计算资源来完成计算任务,引入信任度评估机制可以有效解决泛在异构节点所引起的节点可信度不高问题。然而,现有的算力交易方案虽然将信誉作为选择交易方的重要依据,但通常会选择信誉最高的节点,导致新加入节点在算力交易中无法享有公平参与交易的机会,且由于交易环境不可信,节点很难评估交易反馈的可信度。为了解决上述问题,提出了基于信任度评估的分布式算力交易方案,通过智能合约对满足算力需求的计算节点实施自动化的信任度评估,生成信任度降序列表,基于随机选择算法从信任度高于一定阈值的节点中选定交易方,以保证资源选择的随机性,有效防止合谋攻击。同时,利用适应性函数动态调整直接信任和间接信任的权重,以跟踪计算节点的行为变化。此外,借助区块链技术,设计了一种衡量反馈可靠性的方法,以减少因不可信节点提交恶意评分所造成的评估结果偏差。最后,通过实验证明了所提方案在识别恶意评分和降低恶意行为影响方面的有效性。

关键词：算力网络区块链信任度评估算力交易

来源：评论

学校读者我要写书评

暂无评论

信誉驱动的区块链分片共识及激励机制设计

引用

网络与信息安全学报 2025年第1期11卷 141-150页

作者：田汉文张淑慧王连海徐淑奖邵蔚齐鲁工业大学(山东省科学院) 山东省计算中心(国家超级计算济南中心)算力互联网与信息安全教育部重点实验室山东济南250014 山东省工业网络和信息系统安全重点实验室山东省基础科学研究中心(计算机科学)山东济南250014

当前,实用性拜占庭容错(PBFT,practical Byzantine fault tolerance)共识算法在区块链分片环境下面临通信复杂度高、领导节点选举随机、共识节点不安全以及共识系统缺乏激励等问题。而信誉机制可以根据节点的行为和表现进行评估和奖惩,... 详细信息

当前,实用性拜占庭容错(PBFT,practical Byzantine fault tolerance)共识算法在区块链分片环境下面临通信复杂度高、领导节点选举随机、共识节点不安全以及共识系统缺乏激励等问题。而信誉机制可以根据节点的行为和表现进行评估和奖惩,提高系统对节点的信任度,并促进节点的积极参与和诚实行为。基于此,提出了信誉驱动的区块链分片共识及激励机制。在基于信誉管理的分片系统中,采用聚合签名技术将多个共识节点的签名合并为一个,通过信誉评估确定节点的投票权重,大大减少了通信开销并提高了共识的平等性和安全性;同时,在信誉管理下提出一种押金与激励机制,当节点初入网络时设置最低门票标准,并根据信誉值随时间逐步增加,根据节点的角色和分工的不同,采用基础奖励与有效奖励结合的激励模式,从而有效平衡节点的稳定收益和动态奖励,不断提升网络的稳定性和安全性。实验结果显示,所提共识算法R-PBFT相比PBFT,具有较小的时延和较高的吞吐量,有效地提高了系统性能;与单纯按照信誉等比分配的激励机制相比,所提激励机制具有更高的共识参与率。

关键词：区块链分片技术信誉实用拜占庭容错(PBFT)共识算法激励

来源：评论

学校读者我要写书评

暂无评论

允许自由旋转的2个简单多边形匹配算法

引用

计算机辅助设计与图形学学报 2020年第3期32卷 486-492页

作者：刘新阳雍俊海清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 北京信息科学与技术国家研究中心北京100084

为了解决二维不规则排料问题中的匹配问题,提出了一种允许自由旋转条件下,2个无孔洞的简单多边形之间的匹配算法.该算法基于2个多边形可以自由旋转的假设,对它们之间NFP为凹或凸的情况,选择适当的匹配方法,找出一种使得其匹配后空隙尽... 详细信息

为了解决二维不规则排料问题中的匹配问题,提出了一种允许自由旋转条件下,2个无孔洞的简单多边形之间的匹配算法.该算法基于2个多边形可以自由旋转的假设,对它们之间NFP为凹或凸的情况,选择适当的匹配方法,找出一种使得其匹配后空隙尽可能小,同时保证其整体的矩形的规整度也较高的匹配方案;并用匹配空隙的利用率、匹配后整体面积的利用率,以及匹配后整体的矩形规整度等多个指标来衡量匹配的效果.实验选择于ESICUP中的部分代表性的多边形样例与多个算法进行对比实验,结果表明,该算法在任意旋转精度的要求下,均具有运行速度快的特点,可以很好地应用于服装排料等实际问题.

关键词：多边形匹配自由旋转排料问题

来源：评论

学校读者我要写书评

暂无评论

代码相似性检测方法与工具综述

引用

计算机科学 2020年第3期47卷 5-10页

作者：张丹罗平清华大学软件学院北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084

在代码开源的潮流下,代码克隆在提高代码质量和降低开发成本的同时,一定程度地影响了软件系统的稳定性、健壮性与可维护性。代码相似性检测在计算机与信息安全发展方面具有重要的意义。为应对代码克隆带来的各种危害,目前学术界和工业... 详细信息

在代码开源的潮流下,代码克隆在提高代码质量和降低开发成本的同时,一定程度地影响了软件系统的稳定性、健壮性与可维护性。代码相似性检测在计算机与信息安全发展方面具有重要的意义。为应对代码克隆带来的各种危害,目前学术界和工业界提出了很多代码相似性检测的方法,这些方法按照源代码信息处理程度可分为基于文本、词法、语法、语义和度量值5类;并开发了相应的检测工具,这些工具实现了很好的检测效果,但在大数据时代背景下也面临着数据规模不断扩大带来的一系列挑战。文中综述了代码相似性检测的方法,对5类检测方法做了详细比较;结合传统方法与机器学习技术,归类了不同检测方法对应的检测工具;按照不同评价标准评估了检测工具的检测效果,总结了每种检测方法的首选检测工具,并对未来代码相似性检测的研究方向做出了展望。

关键词：代码克隆克隆检测克隆评估

来源：评论

学校读者我要写书评

暂无评论

基于社会学信任理论的软件可信性概念模型

引用

电子学报 2019年第11期47卷 2344-2353页

作者：杨曦罗平贾古丽清华大学软件学院信息系统安全教育部重点实验室

可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信&q... 详细信息

可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信"一词源于社会学,所以应该从社会学的信任理论出发来探讨软件可信性的本质.本文在上百篇经典社会学信任理论文献上构建出信任体系模型STM,并与软件的信任体系进行了对比和映射,提出基于社会学信任理论的软件可信性概念模型STCM.在STM和STCM的基础上给出软件可信性概念模型的定义系统.最后通过度量评估实验验证了模型是可行的、有效的,为软件可信性的发展提供了新的研究方向.

关键词：软件可信性信任理论 STM STCM 可靠性安全性

来源：评论

学校读者我要写书评

暂无评论

形如8k+1、8k-1、8k+3和8k-3(k∈Z)的素数都有无穷多个

引用

齐鲁工业大学学报 2024年第5期38卷 76-80页

作者：陈川宓玲齐鲁工业大学(山东省科学院)山东省计算中心(国家超级计算济南中心)算力互联网与信息安全教育部重点实验室山东济南250353 山东省工业网络和信息系统安全重点实验室山东省基础科学研究中心(计算机科学) 山东济南250014 齐鲁工业大学(山东省科学院)数学与统计学院山东济南250353

尝试利用反证法和分类讨论法等,分别给出了“形如8k+1(k∈Z)的素数有无穷多个”、“形如8k-1(k∈Z)的素数有无穷多个”、“形如8k+3(k∈Z)的素数有无穷多个”和“形如8k-3(k∈Z)的素数有无穷多个”的严格证明。所用知识都是初等数论中... 详细信息

尝试利用反证法和分类讨论法等,分别给出了“形如8k+1(k∈Z)的素数有无穷多个”、“形如8k-1(k∈Z)的素数有无穷多个”、“形如8k+3(k∈Z)的素数有无穷多个”和“形如8k-3(k∈Z)的素数有无穷多个”的严格证明。所用知识都是初等数论中的基础知识,仅限于素数、整除、同余和Legendre符号的一些基本性质。为了证明主要结论,还首先推导出了两个很有用的引理。

关键词：反证法素数整除同余 Legendre符号

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：