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

信息安全学报 2025年第1期10卷 1-16页

作者：杨毅吴凭飞邱朋飞王春露赵路坦张锋巍王博吕勇强王海霞汪东升北京邮电大学可信分布式计算与服务教育部重点实验室北京100867 清华大学计算机科学与技术系北京100084 中国科学院信息工程研究所北京100093 南方科技大学计算机科学与工程系深圳518055 飞腾信息技术有限公司天津300459 清华大学北京信息科学与技术国家研究中心北京100084 中关村实验室北京100094

隐蔽信道是一种在不违背计算机当前安全策略的前提下,在进程间传递信息的攻击方式。共两个进程参与到隐蔽信道的构建中:木马进程和间谍进程,具有高权限的木马进程通过隐蔽信道向低权限的间谍进程传递信息以完成攻击。隐蔽信道的传输介... 详细信息

隐蔽信道是一种在不违背计算机当前安全策略的前提下,在进程间传递信息的攻击方式。共两个进程参与到隐蔽信道的构建中:木马进程和间谍进程,具有高权限的木马进程通过隐蔽信道向低权限的间谍进程传递信息以完成攻击。隐蔽信道的传输介质种类很多,如时间、功耗、温度等。在现代处理器中,分支预测器作为重要的微架构组件,有效提高了处理器的流水线效率,但由于分支预测器在核内的多进程间共享,使得其存在被用于构建隐蔽信道的风险。目前Intel x86架构已被发现存在基于分支预测器的隐蔽信道攻击,但是Arm架构是否存在相似的攻击还没有得到充分的研究。本文中,我们成功在Arm架构的实际硬件平台上构建了三种基于分支预测器的隐蔽信道。首先我们在Arm架构下设计并实现了类似于x86架构下的基于分支预测器的隐蔽信道CC和RSC,其次我们发现了一个新的基于分支预测组件BTB的隐蔽信道BTBC。我们评估并分析了隐蔽信道参数对信道性能的影响及其成因,并给出参数设置建议。在Cortex-A53及Cortex-A72两种核心上,我们对三种隐蔽信道的信号特性、传输速率和误码率进行了测试和对比分析。实验表明在实际的Arm架构硬件平台下,BTBC的传输信号边缘清晰,震荡幅度小。在连续传输数据时表现出与CC和RSC近似的信道性能,并且在两种核心上均可以低误码率进行数据传输,其在200bps的传输速率下,仅有2%的误码率。最后我们还给出了对于此类隐蔽信道的防御措施。

关键词： Arm架构分支预测器隐蔽信道

来源：评论

学校读者我要写书评

暂无评论

一种新的网络传播中最有影响力的节点发现方法

引用

物理学报 2013年第14期62卷 1-11页

作者：胡庆成尹龑燊马鹏斐高旸张勇邢春晓清华大学计算机系信息技术研究院清华信息科学与技术国家实验室北京100084

在复杂网络的传播模型研究中,如何发现最具影响力的传播节点在理论和现实应用中都有重大的意义.目前的研究一般使用节点的度数、紧密度、介数和K-shell等中心化指标来评价影响力,这种方法虽然简单,但是由于它们仅利用了节点自身的内部属... 详细信息

在复杂网络的传播模型研究中,如何发现最具影响力的传播节点在理论和现实应用中都有重大的意义.目前的研究一般使用节点的度数、紧密度、介数和K-shell等中心化指标来评价影响力,这种方法虽然简单,但是由于它们仅利用了节点自身的内部属性,因而在评价影响力时精确度并不高,普遍性适用性较弱.为了解决这个问题,本文提出了KSC(K-shell and community centrality)指标模型.此模型不但考虑了节点的内部属性,而且还综合考虑了节点的外部属性,例如节点所属的社区等.然后利用SIR(susceptible-infected-recovered)模型对传播过程进行仿真,实验证明所提出的方法可以更好地发现最具有影响力的节点,且可适用于各种复杂网络.本文为这项具有挑战性研究提供了新的思想和方法.

关键词：复杂网络最具影响力的节点社区划分中性化测量

来源：评论

学校读者我要写书评

暂无评论

一种云计算操作系统TransOS：基于透明计算的设计与实现

引用

电子学报 2011年第5期39卷 985-990页

作者：张尧学周悦芝清华大学计算机科学与技术系清华信息科学与技术国家实验室北京100084

云计算正成为计算机研究和应用的热点.在云计算研究的许多问题中,云计算操作系统的研究受到了广泛重视.但是,至今为止,人们对什么是云计算操作系统?怎样研制云计算操作系统?以及为什么要有云计算操作系统等问题并没有给出答案,也没有看... 详细信息

云计算正成为计算机研究和应用的热点.在云计算研究的许多问题中,云计算操作系统的研究受到了广泛重视.但是,至今为止,人们对什么是云计算操作系统?怎样研制云计算操作系统?以及为什么要有云计算操作系统等问题并没有给出答案,也没有看到成功的云计算操作系统实例.本文从透明计算,也就是用户控制的云计算(Customer Controlled Cloud Computing)角度出发,以用户端提供用户服务、网络服务器提供程序和数据的存储、对网络软硬件资源进行管理来定义云计算操作系统.我们把传统操作系统,例如Linux、Windows等也定义为资源,把云计算操作系统定义为运行在传统操作系统与计算机主板BIOS之间,对包含各种传统操作系统在内的网络资源进行管理的超级操作系统(Meta OS).本文首先介绍什么是透明计算和基于透明计算的云计算操作系统,然后给出该系统的结构和相关实现实例.

关键词：透明计算云计算操作系统云计算

来源：评论

学校读者我要写书评

暂无评论

CWFlow：支持资源自适应使用的云工作流框架

引用

清华大学学报（自然科学版） 2013年第3期53卷 415-420页

作者：尚世锋姜进磊郑纬民清华大学计算机科学与技术系清华信息科学与技术国家实验室北京100084

云计算的出现为工作流执行提供了机遇,也带来了挑战。在云计算环境中,如何更好地利用云计算的特性,以尽可能小的资源代价完成工作流任务的执行已成为当前研究的热点问题。该文首先提出了一种基于云计算的工作流框架,在此基础上给出了基... 详细信息

云计算的出现为工作流执行提供了机遇,也带来了挑战。在云计算环境中,如何更好地利用云计算的特性,以尽可能小的资源代价完成工作流任务的执行已成为当前研究的热点问题。该文首先提出了一种基于云计算的工作流框架,在此基础上给出了基于排队论的资源自适应调节模型。实验结果表明:在用户指定工作流任务所期望达到的服务目标之后,该框架和模型能够监测工作流的执行,针对工作流执行负载的变化情况,采用不同的收费方法动态调整资源的使用,达到节约资源使用费用的目的。

关键词：云计算工作流框架自适应调节调度策略

来源：评论

学校读者我要写书评

暂无评论

范式路由器:规范路由器数据层的动态行为

引用

清华大学学报（自然科学版） 2018年第8期58卷 693-697页

作者：徐磊徐恪清华大学计算机科学与技术系信息科学与技术国家实验室

随着模块化可编程路由器越来越普遍,路由器面临的安全问题也越来越严峻。该文提出范式路由器,通过对模块化的数据层进行编码和预组合,达到对路由器数据层的动态监控和规范。该文对每个数据层行为标记一个行为标识（action identifier,AI... 详细信息

随着模块化可编程路由器越来越普遍,路由器面临的安全问题也越来越严峻。该文提出范式路由器,通过对模块化的数据层进行编码和预组合,达到对路由器数据层的动态监控和规范。该文对每个数据层行为标记一个行为标识（action identifier,AID）,同时将合法AID预先存入范式表（regulated action table,RAT）。在路由器运行时,所有动态行为都被RAT校验,保证行为可信。该文用Click路由器和数据层开发包（data plane development kit,DPDK）路由器分别部署了范式路由器。实验结果表明：范式路由器仅占用了2 MB的空间和10%以下的带宽性能,同时捕获了所有数据层的恶意行为。

关键词：路由器安全范式路由器路由器行为

来源：评论

学校读者我要写书评

暂无评论

基于M^3N的中文分词与命名实体识别一体化

引用

清华大学学报（自然科学版） 2010年第5期50卷 758-762,767页

作者：乔维孙茂松清华大学计算机科学与技术系清华信息科学与技术国家实验室北京100084

中文分词和命名实体识别经常被视为2个独立的任务。该文提出一种基于最大间隔Markov网络模型(M3N)的中文分词和命名实体识别一体化方法,将二者统一在一个字序列标注框架下,进行联合训练和测试。在SIGHAN_2005分词数据集上的实验结果显示... 详细信息

中文分词和命名实体识别经常被视为2个独立的任务。该文提出一种基于最大间隔Markov网络模型(M3N)的中文分词和命名实体识别一体化方法,将二者统一在一个字序列标注框架下,进行联合训练和测试。在SIGHAN_2005分词数据集上的实验结果显示,与基于条件随机场模型的分词器相比,基于M3N的分词器加权综合值提高0.3%~2.0%。在SIGHAN_2005分词数据集和SIGHAN_2006命名实体数据集上进行测试的结果显示,与分步方法相比,一体化方法能够同时提高中文分词和命名实体识别的性能,加权综合值的提高幅度分别为1.5%~5.5%和5.7%~7.9%。同时,还基于分词任务考察了特征模版和不合法序列对M3N性能的影响。

关键词：最大间隔Markov网络中文分词命名实体识别特征模版机器学习

来源：评论

学校读者我要写书评

暂无评论

一种卷级连续数据保护一致点插入方法

引用

高技术通讯 2010年第11期20卷 1101-1107页

作者：生拥宏汪东升鞠大鹏武健清华大学计算机科学与技术系清华信息科学与技术国家实验室北京100084

形式化描述了应用层语义事件与卷级连续数据保护一致点插入的关系,提出了借助文件系统特定IO操作在正常IO流中插入一致点的算法。该方法提供的三种一致点插入技术分别能满足单个文件、目录和逻辑卷不同粒度的一致性恢复需要,同时也可以... 详细信息

形式化描述了应用层语义事件与卷级连续数据保护一致点插入的关系,提出了借助文件系统特定IO操作在正常IO流中插入一致点的算法。该方法提供的三种一致点插入技术分别能满足单个文件、目录和逻辑卷不同粒度的一致性恢复需要,同时也可以根据用户的定义弱化为传统的基于固定周期的快照备份方法。论文给出了系统的实现方法,评估了方法的有效性。实验表明,该方法提供了准确率较高的一致性恢复手段。

关键词：连续数据保护(CDP) 一致性备份

来源：评论

学校读者我要写书评

暂无评论

分布式Top-k子图匹配技术

引用

清华大学学报（自然科学版） 2016年第8期56卷 871-877页

作者：兰超张勇邢春晓清华大学计算机科学与技术系信息科学与技术国家实验室北京100084

Top-k子图匹配是一种应用广泛的图搜索技术。相比于单机环境,分布式环境下的Top-k子图匹配问题具有更大的挑战性。该文分析了已有方法在分布式环境下存在的问题,提出了包括查询拆分、查询执行、结果连接3个步骤的算法。算法通过查询拆分... 详细信息

Top-k子图匹配是一种应用广泛的图搜索技术。相比于单机环境,分布式环境下的Top-k子图匹配问题具有更大的挑战性。该文分析了已有方法在分布式环境下存在的问题,提出了包括查询拆分、查询执行、结果连接3个步骤的算法。算法通过查询拆分,彻底避免了生成中间结果过程中的数据传输,同时通过优化查询执行和结果连接步骤,避免不必要的中间结果生成,降低单个节点的计算量,提升整体效率。在此基础上,该文对分布式环境下Top-k连接策略进行了进一步优化。在真实图数据上进行的实验测试表明:该文提出的算法能够有效解决分布式环境下Top-k子图匹配问题,具有很好的扩展性,而且使用优化连接策略的算法性能较基础算法的效率有明显的提升。

关键词：图搜索子图匹配 Top-k子图匹配分布式

来源：评论

学校读者我要写书评

暂无评论

分布式文件系统存储介质评测与分析

引用

计算机学报 2010年第10期33卷 1873-1880页

作者：许春聪黄小猛吴诺孙宁伟杨广文清华大学计算机科学与技术系信息科学与技术国家实验室北京100084

文中分析了磁盘、SSD和DRAM的价格和能耗,测试了分布式文件系统HDFS、MooseFS和CarrierFS部署在不同存储介质上的数据吞吐率,接着提出了一种存储介质的性价比理论模型,并分析了当前、2015年和2020年不同存储介质的性价比和变化趋势.通... 详细信息

文中分析了磁盘、SSD和DRAM的价格和能耗,测试了分布式文件系统HDFS、MooseFS和CarrierFS部署在不同存储介质上的数据吞吐率,接着提出了一种存储介质的性价比理论模型,并分析了当前、2015年和2020年不同存储介质的性价比和变化趋势.通过性价比分析可得,DRAM具有较大的性价比优势,适合于高并发随机访问应用.随着DRAM容量的快速提升,未来DRAM有可能成为可选的数据存储介质.当前,SSD虽然具有较好的访问性能,但其价格高、容量小、性价比低于磁盘.2015年SSD的性价比将超过磁盘,有可能替代磁盘成为大规模存储系统的基本存储设备.

关键词：分布式文件系统吞吐率存储介质

来源：评论

学校读者我要写书评

暂无评论

基于进程代数的服务形式化描述方法

引用

清华大学学报（自然科学版） 2012年第12期52卷 1769-1775页

作者：白宇张尧学周悦芝清华大学计算机科学与技术系信息科学与技术国家实验室北京100084

服务描述是服务选择和服务组装的基础,是服务科学领域重要的研究课题。为了解决现有服务描述语言不支持对多个功能相同的服务进行选择、在服务描述过程中易产生语义二义性等问题,该文提出了一种基于进程代数的服务形式化描述方法。该方... 详细信息

服务描述是服务选择和服务组装的基础,是服务科学领域重要的研究课题。为了解决现有服务描述语言不支持对多个功能相同的服务进行选择、在服务描述过程中易产生语义二义性等问题,该文提出了一种基于进程代数的服务形式化描述方法。该方法在已有服务描述标准WSDL的基础上加入了对服务非功能属性的描述,并采用进程代数对服务相关操作进行形式化定义,从而可以利用服务的非功能属性为用户提供个性化的检索结果,并支持对服务组装过程进行形式化描述。最后使用实例验证了该方法的正确性和有效性。

关键词：服务描述服务组装进程代数

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：