一、方向概况

该方向依托北京理工大学网络空间安全学院，以网络空间安全一级学科为核心支撑，深度联接数学、计算机科学与技术、信息与通信工程、电子科学与技术、法学等学科。学院拥有“密码科学技术”国防科技重点实验室、“网络攻防对抗技术”教育部重点实验室、“信息安全与对抗”工信部重点实验室等高水平科研平台。网络空间安全基础作为国家一级学科核心方向与“双一流”重点建设领域，紧密对接“网络强国”“密码强国”“网络安全基础理论创新”“可证明安全”“形式化验证”“安全协议设计”“计算复杂性”“信息论安全”“量子安全基础”“人工智能安全基础”“数据安全基础理论”“网络安全治理基础理论”等重大战略部署，强调“数学基础—理论建模—安全定义—安全证明—协议构造—算法设计—复杂性分析—标准制定”全链条贯通的培养路径。

研究方向涵盖：密码学基础理论（计算复杂性、数论、代数几何、椭圆曲线、配对、同源映射、格理论、编码理论、布尔函数、序列设计、哈希函数理论、随机预言机模型、标准模型、通用组合安全、可证明安全归约）、安全协议理论与形式化验证（会话密钥协商、认证协议、投票协议、拍卖协议、隐私计算协议、pi演算、应用pi演算、proverif、tamarin、easycrypt、f*、coq、isabelle、lean、模型检测、定理证明、符号执行、抽象解释）、信息论安全与无条件安全（香农保密性、完善保密、一次性密码本、秘密共享、安全多方计算信息论变体、量子信息论安全）、量子安全基础理论（量子计算复杂性、量子算法、量子密码安全性证明、后量子密码安全归约、量子随机数理论、量子信道容量）、人工智能安全基础理论（对抗鲁棒性理论、泛化界、收敛性分析、差分隐私理论、联邦学习收敛与安全权衡、大模型对齐理论基础、可解释性与安全性关系）、数据安全基础理论（差分隐私、局部差分隐私、合成数据生成理论、数据水印理论、数据溯源理论、访问控制模型、使用控制模型）、网络安全治理基础理论（网络安全法律体系、合规框架、风险评估方法论、安全度量理论、安全经济学、人机协同安全决策）。

汇聚祝烈煌教授（密码学与隐私计算基础理论、国家级领军人才）、毛剑教授（形式化验证与安全协议理论、国家优青）、王韬教授（人工智能安全基础理论、国家级青年人才）、赵宸教授（量子安全与后量子密码理论、国家级青年人才）、李冬梅教授（数据安全与信息论安全基础）、薛静锋教授（网络安全教育与基础理论教学、国家级教学名师）等骨干导师。实验室承担国家自然科学基金重大项目、重点项目、杰青项目、优青项目、国家重点研发计划“网络空间安全”“量子调控与量子信息”“科技创新2030—新一代人工智能”重点专项、国家密码管理局密码基础理论研究专项等重大任务。成果服务于国产密码算法sm2/sm3/sm4/zuc安全性证明、后量子密码标准安全性评估、大语言模型安全对齐理论基础构建、数据安全治理国家标准起草等国家重大需求，获国家自然科学二等奖、中国密码学会密码创新奖特等奖、中国计算机学会自然科学一等奖等多项荣誉。推免拟招二十五至三十五人，要求绩点前百分之八至十，核心课程涵盖高等代数、数学分析、概率论与数理统计、离散数学、数论、抽象代数、计算复杂性、密码学导论、现代密码学、信息论、形式化方法、程序设计语言理论、算法设计与分析、量子计算导论、机器学习理论等；英语六级四百六十分以上。

二、知点保研核心优势

近十年深耕本方向辅导，精准把握“数学基础—理论建模—安全定义—安全证明—复杂性分析”全链条基础理论逻辑；深谙从经验安全向可证明安全跃迁、从具体方案向通用框架演进、从经典假设向后量子与量子安全基础深化、从单一理论向交叉融合基础理论延伸的范式转变。一对一匹配各子方向导师；提供高性能计算集群、量子模拟器、定理证明器集群、形式化验证平台、密码算法测试平台、ai训练平台等设备与软件平台。对接中科院数学与系统科学研究院、信息工程研究所、软件研究所、之江实验室、紫金山实验室、鹏城实验室，以及华为、腾讯、阿里、百度、奇安信、深信服、中电科、航天科工等顶尖院所与企业基础理论研究课题跟研；提供《crypto》《eurocrypt》《asiacrypt》《journal of cryptology》《ieee trans. information theory》《acm tocs》《lncs》《密码学报》《中国科学：数学》《中国科学：信息科学》等期刊投稿指导及全国大学生密码数学挑战赛、全国大学生数学建模竞赛、全国大学生数学竞赛等赛事闭环服务。

三、辅导体系

绩点提升 ：强化高等代数、数学分析、概率论与数理统计、离散数学、数论、抽象代数、计算复杂性、现代密码学、信息论、形式化方法、程序设计语言理论、算法设计与分析、量子计算导论、机器学习理论等核心课程；掌握安全定义、安全归约、复杂性分析、形式化验证、理论证明全流程实操技能。

论文辅导 ：引导选择后量子密码安全归约优化、零知识证明效率与安全性权衡、形式化验证自动化与可扩展性、对抗鲁棒性理论新界、差分隐私效用-隐私权衡理论、量子密码安全性证明新方法、数据安全治理基础模型构建、人工智能安全对齐理论基础等兼具学术前沿与国家战略需求的议题。

面试突破 ：针对“计算安全与信息论安全核心区别”“随机预言机模型与标准模型优劣”“形式化验证符号方法与计算方法差异”“后量子密码安全归约核心难点”“对抗鲁棒性理论当前主要开放问题”“差分隐私ε选取的理论依据”“个人数学基础、抽象思维能力与实验室匹配度”等高频追问开展专项模拟。

四、结语

网络空间安全基础以“数学为基、理论为纲、证明为证、严谨为本、创新为魂、自主可控、奠基强国、引领未来”为使命，在网络安全基础理论创新、可证明安全、形式化验证、后量子密码理论、量子安全基础、人工智能安全基础、数据安全基础理论等国家重大需求中彰显核心价值。知点保研愿助力有志学子稳步前行。咨询报名可致电4000003363，或添加微信13671344286获取个性化评估与规划建议。