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

北京邮电大学学报 2024年第6期47卷 24-29页

作者：周艺华田雨薇杨宇光侍伟敏北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124

模式匹配量子密钥分发协议一般使用弱相干光源作为信号光源,其中单光子成分较少,导致模式匹配量子密钥分发的密钥率受到限制。对此,提出了一种基于标记配对相干光源的模式匹配密钥分发协议,将标记配对相干光源作为模式匹配量子密钥分发... 详细信息

模式匹配量子密钥分发协议一般使用弱相干光源作为信号光源,其中单光子成分较少,导致模式匹配量子密钥分发的密钥率受到限制。对此,提出了一种基于标记配对相干光源的模式匹配密钥分发协议,将标记配对相干光源作为模式匹配量子密钥分发的信号光源,凭借标记配对相干光源中单光子比例更高的优势,提高了模式匹配量子密钥分发的性能。在渐进和无穷多诱骗态的情况下,对所提协议的密钥率进行了数值模拟。仿真实验结果表明,所提协议与使用弱相干光源作为信号光源的模式匹配量子密钥分发协议相比,不仅有更高的密钥率,而且传输距离更远,当传输距离大于400 km时,所提协议在密钥率方面的优势更加明显。

关键词：量子密钥分发模式匹配量子密钥分发标记配对相干光源安全密钥率

来源：评论

学校读者我要写书评

暂无评论

基于细粒度逻辑隔离结构的缓冲区溢出检测方法

引用

清华大学学报（自然科学版） 2009年第S2期49卷 2138-2143页

作者：李晨李瑞华张兴庄琭北京工业大学计算机学院可信计算实验室北京100124

在计算机信息安全领域中,提出了一种缓冲区溢出及检测方法。采用图灵机,分析了产生溢出问题的原因是状态空间简化。攻击案例表明了现有检测机制在检测范围和检测时刻的不足。设计了细粒度的缓冲区数据逻辑隔离结构,提出了一种缓冲区溢... 详细信息

在计算机信息安全领域中,提出了一种缓冲区溢出及检测方法。采用图灵机,分析了产生溢出问题的原因是状态空间简化。攻击案例表明了现有检测机制在检测范围和检测时刻的不足。设计了细粒度的缓冲区数据逻辑隔离结构,提出了一种缓冲区溢出检测的通用模型,进行了时序逻辑分析。结果表明:该模型在检测粒度和范围上比传统方法更加准确和全面;在栈空间上的应用该模型,可以弥补现有缓冲区结构和检测机制的不足。

关键词：计算机信息安全缓冲区溢出细粒度逻辑隔离检测时刻检测范围

来源：评论

学校读者我要写书评

暂无评论

可信计算平台委托机制的分析与改进

引用

武汉大学学报（信息科学版） 2010年第5期35卷 599-602页

作者：黄宁玉张兴北京工业大学计算机学院可信计算实验室北京市朝阳区平乐园100号100124

针对TCG委托机制中存在的使用已失效的委托信息仍能获得TPM服务的安全问题,提出了一种基于m叉哈希树MHT的委托方案。MHT存储在平台中,叶节点记录当前有效委托的哈希值,子节点连接后计算哈希值构成父节点,如此递归产生根节点存储在TPM中... 详细信息

针对TCG委托机制中存在的使用已失效的委托信息仍能获得TPM服务的安全问题,提出了一种基于m叉哈希树MHT的委托方案。MHT存储在平台中,叶节点记录当前有效委托的哈希值,子节点连接后计算哈希值构成父节点,如此递归产生根节点存储在TPM中。创建或撤销委托时,添加或删除MHT相应的叶节点,同步更新MHT内部节点直到根节点;执行委托时,查询MHT,判断委托当前是否合法有效,避免TPM中的资源被非法利用。实验结果表明,新的委托方案具有更高的安全性,且容易实现。

关键词：可信计算委托授权数据哈希树

来源：评论

学校读者我要写书评

暂无评论

云边联邦学习系统下抗投毒攻击的防御方法

引用

软件学报 2024年

作者：赵亚茹张建标曹益皓黄浩翔北京工业大学计算机学院可信计算北京市重点实验室(北京工业大学)

随着海量数据的涌现和智能应用需求的日益增长,保障数据安全成为提高数据质量、实现数据价值的重要举措.其中,云边端架构是高效处理和优化数据的新兴技术,联邦学习(FL)作为一个高效的去中心化的机器学习范式,能够为数据提供隐私保护,近... 详细信息

随着海量数据的涌现和智能应用需求的日益增长,保障数据安全成为提高数据质量、实现数据价值的重要举措.其中,云边端架构是高效处理和优化数据的新兴技术,联邦学习(FL)作为一个高效的去中心化的机器学习范式,能够为数据提供隐私保护,近年来引起了学术界及工业界的广泛关注.然而,联邦学习展示出了固有的脆弱性使其易于遭受投毒攻击.现有绝大多数抵抗投毒攻击的防御方法依赖于连续更新空间,但在实际场景中面向灵活的攻击方式和攻击场景可能是欠鲁棒的.鉴于此,提出一种面向云边联邦学习系统(CEFL)抵抗投毒攻击的防御方法 FedDiscrete.其关键思想是在客户端利用网络模型边的分数计算本地排名,实现离散更新空间的创建.进一步地,为了兼顾参与FL任务的客户端之间的公平性,引入贡献度指标,这样, FedDiscrete能够通过分配更新后的全局排名对可能的攻击者实施惩罚.广泛的实验结果表明所提方法在抵抗投毒攻击方面表现出显著的优势和鲁棒性,且适用于独立同分布(IID)和非独立同分布(non-IID)场景,能够为CEFL系统提供保护.

关键词：联邦学习投毒攻击防御策略离散更新空间云边端架构

来源：评论

学校读者我要写书评

暂无评论

经典启发式量子计算整数分解问题

引用

北京工业大学学报 2023年第6期49卷 675-683页

作者：张兴兰张丰陈菲郭艳琨北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124

大整数分解是破解RSA加密算法的基本途径之一,由于计算量过大,经典计算机难以有效解决大整数分解问题.量子叠加和纠缠的特性,使得量子计算可以对经典问题求解起到并行加速的作用.Shor算法是一个能够高效快速对大整数分解的量子算法.然而... 详细信息

大整数分解是破解RSA加密算法的基本途径之一,由于计算量过大,经典计算机难以有效解决大整数分解问题.量子叠加和纠缠的特性,使得量子计算可以对经典问题求解起到并行加速的作用.Shor算法是一个能够高效快速对大整数分解的量子算法.然而,Shor算法需要进行模幂运算,使得电路设计极其复杂,时间复杂度也高.为了解决该问题,基于经典计算的启发,提出一种启发式算法:利用量子计算的并行性,设计相关Oracle去计算2个奇数叠加态a和b的乘积,再将叠加态乘积的负相位加在大整数N的傅里叶基上,当结果为0时,利用多控制门便能够将满足pq=N的一个质因子p给提取出来.该文提出的算法最低仅需要2n个量子比特,时间复杂度也达到指数级加速.另外,该文在QISKit框架上实现了该算法,证明了算法的可行性和通用性.

关键词：整数分解量子计算 Shor算法启发式算法傅里叶基 QISKit

来源：评论

学校读者我要写书评

暂无评论

代码复用攻防技术演化综述

引用

北京工业大学学报 2024年第5期50卷 632-650页

作者：詹静陈鹏张茜李永震赵勇北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124

当前代码复用攻击研究多从一种或多种代码复用攻击或防御技术角度进行现状和趋势分析,对影响攻防的关键特征及技术覆盖不全面,对攻防技术对抗演化发展规律分析较少。为解决上述问题,从经典代码复用攻击——返回导向编程(return-oriented... 详细信息

当前代码复用攻击研究多从一种或多种代码复用攻击或防御技术角度进行现状和趋势分析,对影响攻防的关键特征及技术覆盖不全面,对攻防技术对抗演化发展规律分析较少。为解决上述问题,从经典代码复用攻击——返回导向编程(return-oriented programming,ROP)攻击的生命周期入手,归纳影响此类攻击成功与否的关键特征,基于时间线和这些特征,综合衡量安全和性能因素,给出了代码复用攻防技术的发展规律。

关键词：程序安全代码复用攻击攻防技术演化指令结构特征地址随机化运行代码特征

来源：评论

学校读者我要写书评

暂无评论

全系统一体的访问控制保障模型

引用

清华大学学报（自然科学版） 2017年第4期57卷 432-436页

作者：李瑜赵勇郭晓栋刘国乐国家保密科技测评中心北京100044 北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124

针对云平台各访问控制点的访问控制机制难以有效联动问题,该文提出了全系统一体的访问控制保障模型。首先,形式化定义了访问请求的等价关系及支撑关系,对访问请求的本质进行了描述;其次,给出了基于模型的访问控制保障算法,形式化证明了... 详细信息

针对云平台各访问控制点的访问控制机制难以有效联动问题,该文提出了全系统一体的访问控制保障模型。首先,形式化定义了访问请求的等价关系及支撑关系,对访问请求的本质进行了描述;其次,给出了基于模型的访问控制保障算法,形式化证明了算法能够实现可信的访问控制请求传递;最后,从云平台的网络层、云应用层和操作系统核心层给出了模型的工程实施方法。结果表明:通过访问请求语义的传递,模型实现了全系统访问控制机制的联动,保证了访问请求信息的可信传递。

关键词：云安全访问控制保障模型一体化

来源：评论

学校读者我要写书评

暂无评论

基于离散时间量子漫步的链路预测算法

引用

安徽大学学报（自然科学版） 2024年第2期48卷 34-39页

作者：侍伟敏梁佳伟周艺华杨宇光北京工业大学北京可信计算重点实验室北京100124

量子漫步算法能模拟游走粒子在图上的量子相干演化,粒子的运动状态由量子态的相干叠加而成.与经典随机游走算法相比,量子漫步算法具有寻找目标节点时间少和源节点扩散至其他节点时间少的优点.提出一种基于离散时间量子漫步的链路预测(li... 详细信息

量子漫步算法能模拟游走粒子在图上的量子相干演化,粒子的运动状态由量子态的相干叠加而成.与经典随机游走算法相比,量子漫步算法具有寻找目标节点时间少和源节点扩散至其他节点时间少的优点.提出一种基于离散时间量子漫步的链路预测(link predictionbased on discrete time quantum walk,简称LP-DTQW)算法.研究结果表明:相对于其他7种算法,LP-DTQW算法有更高的预测精度;LP-DTQW算法的时间复杂度远低于经典RWR(random walk with restart)链路预测算法的时间复杂度.因此,LP-DTQW算法具有更强的预测性能.

关键词：复杂网络链路预测离散时间量子漫步拓扑相似性

来源：评论

学校读者我要写书评

暂无评论

基于混合字词网格的汉语音字转换问题的求解

引用

计算机学报 2007年第7期30卷 1145-1153页

作者：章森北京工业大学信息与计算科学实验室北京100022

汉语音字转换是中文键盘输入、汉语语音识别和中文信息处理的基础,也是一个非常具有挑战性的问题．文中分析了汉语音字转换的研究现状和存在的问题,提出了基于混合字词网格的汉语音字转换方法,给出了系统实现的架构,研究了混合2-gram模... 详细信息

汉语音字转换是中文键盘输入、汉语语音识别和中文信息处理的基础,也是一个非常具有挑战性的问题．文中分析了汉语音字转换的研究现状和存在的问题,提出了基于混合字词网格的汉语音字转换方法,给出了系统实现的架构,研究了混合2-gram模型的有关问题以及字词网格的求解算法,最后讨论了自动预测与系统学习功能的实现．在此基础上设计了原型系统并与Windows XP上的微软拼音输入系统进行了比较,在拼音到汉字的自动转换正确率方面有显著的提高．

关键词：汉语音字转换 n-gram语言模型 Markov模型字词网格用户行为

来源：评论

学校读者我要写书评

暂无评论

大规模语音语料库及其在TTS中应用的几个问题

引用

计算机学报 2010年第4期33卷 687-696页

作者：章森刘磊刁麓弘北京工业大学信息与计算科学实验室北京100022

首先介绍了大规模语音语料库以及基于大规模语音语料库的文语转换技术的研究现状,接着介绍了一个大规模连续汉语语音语料库的实例Slib的结构和内容;在此基础上,讨论了面向大规模语音语料库的索引技术,提出了语料库检索中的集合运算和最... 详细信息

首先介绍了大规模语音语料库以及基于大规模语音语料库的文语转换技术的研究现状,接着介绍了一个大规模连续汉语语音语料库的实例Slib的结构和内容;在此基础上,讨论了面向大规模语音语料库的索引技术,提出了语料库检索中的集合运算和最小包容问题,证明了最小包容问题是NP完全的,给出了求解该问题的贪婪算法以及算法的近似比;最后,讨论了基于集合运算的大规模语音语料库的检索技术在文语转换系统中的应用,特别是在基本语言单位实例的选取问题上实现了一种基于最小包容的优化方法,对提高文语转换系统的自然度有实用价值.

关键词：语音语料库集合运算文语转换最小包容信息检索

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：