北京航空航天大学网络空间安全学院
- 作品数：222 被引量：861H指数：13
- 相关机构：东华大学信息科学与技术学院华北科技学院计算机学院中国科学院信息工程研究所更多>>
- 发文基金：国家自然科学基金北京市自然科学基金国家密码发展基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信航空宇航科学技术更多>>
- 专题:区块链技术及其物联网应用
- 2018年
- 内容导读作为现代密码学、分布式计算、共识机制等技术的综合应用,区块链技术逐渐受到了社会各界的广泛关注。区块链技术具有去中心化、开放透明、信息不可篡改、隐私保护等特点,在数字经济、电子商务、身份认证、社交通信、物联网(IoT)、数据存证、食品安全等诸多领域有着良好的应用前景。区块链技术由此逐渐成为计算机科学领域的一项新兴热点技术。
- 刘建伟
- 关键词：区块链物联网现代密码学分布式计算计算机科学隐私保护
- 铌酸锂强场太赫兹非线性时域光谱系统被引量：5
- 2023年
- 强场太赫兹(THz)时域光谱技术在强场THz科学技术与应用中具有重要作用,材料、物理、化学、生物等领域诸多涉及强场THz与物质强非线性相互作用的研究都离不开强场THz时域光谱技术。然而,受限于高效率、高光束质量、高稳定性、高重复频率强场THz辐射源的性能,强场THz时域非线性光谱技术发展缓慢。针对强场THz非线性光谱技术及其潜在应用中存在的难题与挑战,在商用kHz钛宝石激光器的驱动下,笔者设计并实现了一套基于铌酸锂倾斜波前技术产生强场THz的高度集成化时域光谱系统。在3 mJ激光能量泵浦下,利用该系统在室温下实现了单脉冲能量为6.5μJ、峰值场强约为350 kV/cm的THz强场产生,该系统具备强场THz非线性光谱测试、THz泵浦‑THz探测、光泵浦‑THz探测、THz发射谱测量等多种超快时间分辨测量功能,是研究强场THz非线性效应的有效实验手段。
- 才家华张保龙耿春艳郝思博陈赛吴晓君
- 关键词：超快光学铌酸锂
- 联邦学习系统攻击与防御技术研究综述被引量：12
- 2023年
- 联邦学习作为一种使用分布式训练数据集构建机器学习模型的新兴技术,可有效解决不同数据用户之间因联合建模而导致的本地数据隐私泄露问题,从而被广泛应用于多个领域并得到迅速发展.然而,现有的联邦学习系统已被证实在数据收集阶段、训练阶段和推理阶段都存在潜在威胁,危及数据的隐私性和系统的鲁棒性.本文从安全威胁和隐私威胁两类潜在威胁入手,围绕机密性、完整性和可用性(CIA三元组)给出了联邦学习场景中安全属性的详细定义,并对联邦学习中各类攻击方式和防御手段进行了系统全面综述.首先,本文对横向、纵向联邦学习过程,以及潜在威胁分别进行了概述,并从对抗性攻击和非对抗性攻击两个角度,分析了投毒攻击、对抗样本攻击和推理攻击等常见攻击的基本概念、实施阶段和现有方案.进一步地,依据不同的攻击方式,将防御手段划分为鲁棒性提升方法和隐私性增强技术两类:鲁棒性提升方法主要防御系统遭受的对抗性攻击,包括数据消毒、鲁棒性聚合、异常检测、对抗训练、知识蒸馏和剪枝等,隐私性增强技术主要防御系统遭受的非对抗性攻击,包括同态加密、安全多方计算、差分隐私和区块链等.最后,本文给出了联邦学习中鲁棒性和隐私性方面的未来研究方向.
- 高莹陈晓峰张一余王玮邓煌昊段培陈培炫
- 关键词：隐私威胁
- 面向移动云计算场景的动态网络拓扑描述语言被引量：1
- 2019年
- 建立网络仿真环境,实现网络安全演练,是研究移动云计算安全的重要手段。为解决移动云计算仿真系统仿真场景建模学习成本高、可移植性差的问题,文章根据移动云计算的典型场景,提出了一种动态网络拓扑描述语言(Dynamic Network Topology Description Language,DNTDL),详细介绍了该场景下安全设备等组成成分的语法定义,阐述了DNTDL在网络仿真平台的作用和实施机制。配合该语言的编译器实现了在OpenStack平台上仿真场景的部署,验证了DNTDL的可行性和有效性。
- 余奕吕良双李肖坚王天博
- 关键词：移动云计算网络拓扑描述语言网络仿真
- 零知识证明递归与复合技术研究综述
- 2024年
- 零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极大地提高零知识证明协议的性能并深入拓展其功能,是当前的研究热点.本文系统且全面地研究了零知识证明的递归与复合技术.首先,在针对代数断言的递归零知识证明方面,全面研究了关于内积关系的递归零知识证明协议,并从证明复杂度、通信复杂度、验证复杂度等角度对比分析了基于Pedersen承诺方案的内积论证协议.其次,在针对非代数断言的递归零知识证明方面,全面梳理了增量可验证计算方案与基于电路的证明系统组合这两种主流应用的研究现状,并对比分析了增量可验证计算方案的复杂度、关键技术及实现方案等.然后,在针对复合断言的复合零知识证明方面,从复杂度、启动阶段、关键模块等角度对比分析了承诺并证明的零知识证明协议.最后,给出了零知识证明递归与复合技术的未来研究方向.
- 张宗洋周子博邓燚
- 关键词：零知识证明
- 基于环境温湿度的土壤水分温度预测研究被引量：2
- 2022年
- 文中针对土壤水分温度预测的实际需求,从基于物联网技术的环境数据采集系统以及适配的深度学习预测模型选择两方面对相关问题进行研究,设计一种基于嵌入式系统及NB-IoT技术的物联网数据采集系统验证平台。基于采集到的数据,分析长短时记忆网络(LSTM)、门控循环单元(GRU)以及双向长短时记忆网络(Bi-LSTM)模型的预测效果。实验结果表明,所提出的数据采集系统可以有效获得深度学习所需数据,而基于该数据的深度学习预测模型可以实现仅依靠环境温湿度时间序列数据对土壤水分与温度的可靠预测。该研究可为相关领域的土壤水分温度预测系统设计提供参考。
- 杨义刘会丹万雪芬崔剑张凡蔡婷婷
- 关键词：数据采集数据分析
- Chowla定理的映射等价形式及其证明
- 2025年
- 从映射的角度给出Chowla定理的等价表述形式,并推出该映射在定义域的某些特殊子集上构成其到自身的双射.进而利用Wilson定理在一般情形下的推广形式,分别通过反证法和数学归纳法两种思路推出矛盾,从而完成Chowla定理的映射等价形式的证明.
- 彭逢秋漆林崔世博高莹
- 关键词：完全剩余系WILSON定理
- 大数据技术中的隐私保护法律问题被引量：1
- 2022年
- 大数据技术广泛应用的同时也带来了诸多问题,对用户隐私和数据安全造成了严重侵害。由于大数据发展速度快和法律属性界定复杂等原因,现行法律法规存在一定的滞后,对此类问题适用性不佳,需要随着大数据技术的发展进行及时的改进,从而适应日新月异的网络环境。
- 宋青林洪晟
- 关键词：大数据隐私保护个人信息保护法
- 面对量子敌手的随机预言模型研究进展
- 2024年
- 基于经典随机预言模型拓展出涵盖后量子密码学与量子密码学的量子随机预言模型,以探究密码协议的安全性,总结了不同随机预言模型的研究进展,通过归纳其概念、实例化方法以及安全证明方法,对存在量子敌手的随机预言模型进行归纳。同时介绍了不同密码协议基于随机预言模型的安全性分析结果,对比分析了经典随机预言模型、可量子访问随机预言模型以及量子随机预言模型,并分析未来研究方向与热点,为应对量子计算的挑战提供了思路。
- 尚涛蒋亚卓张源境唐瑶刘建伟
- 关键词：量子密码可证明安全
- 区块链共识机制研究综述被引量：138
- 2019年
- 自比特币被提出以来,数字货币开启了新的时代,而其背后的区块链技术也逐渐受到各界人士的重视.共识机制作为区块链技术的核心,决定了区块链的安全性、可扩展性和去中心化程度等许多重要特性.本文从系统模型、共识机制本质、激励设置和安全攻击等角度对现有共识机制进行研究.首先研究了共识机制的模型,对网络模型、敌手模型和腐化模型给出定义和分类.在不同的模型基础上,将现有共识机制分为经典分布式共识和区块链共识.其次,对于经典分布式共识,研究了PBFT、Paxos等分布式一致性算法及其改进,给出了算法具体流程和优缺点分析.再次,对于区块链共识,根据应用场景的不同将其分为授权共识机制和非授权共识机制,将非授权共识分为基于工作量证明的共识机制、基于权益证明的共识机制、采用单一委员会的混合共识、采用多委员会的混合共识和其他共识机制.对于每一类共识机制,给出其基本流程,深入分析典型方案,指出其存在的优缺点、交易规模以及可能面临的攻击方式.最后,指出了区块链时代共识机制在安全、扩容、启动、激励等层面的研究热点和发展方向.
- 刘懿中刘建伟张宗洋徐同阁喻辉
- 关键词：区块链拜占庭容错
