刘浩然是燕山大学的硕士研究生导师吗

是的。
刘浩然
所在学院 信息科学与工程学院
性 别 男
出生年月 19804
民 族 汉
政治面貌 中共党员
学 位 博士
毕业学校 法国国立应用科学学院
职 称 副教授
一级学科 电子科学与技术
二级学科 电路与系统
研究方向 工业故障检测，WSN
通讯地址 信院104（066004）
电子信箱 liuhaoran@ysueducn

CCCF第7期专题邀请了相关领域的6位专家学者深入探讨图灵对密码学发展的深远影响和密码学的前沿进展，涵盖了密码设计与密码分析这两个密码学的组成部分，同时兼顾了广度与深度。各专题文章原文详见CCF数字图书馆。

关键词： 密码学 图灵 网络空间安全 信息安全

从早期作为一种实用性技术，到今天发展为一门严谨的学科，密码学的发展史汇聚了人类文明的聪明才智。围绕着如何使用密码实现安全和隐私保护与如何安全地使用密码这两个本质问题，密码的设计与分析相互依存，相互促进，处在不断的博弈中，这使得密码的研究得到了持续的发展。

在发展过程中，计算机科学之父艾伦·图灵(Alan M Turing)做出了多方面本质的贡献，对密码学的成熟产生了深远的影响。首先，在密码安全定义建模方面，图灵的可计算性理论及其发明的（通用）图灵机起着重要的作用。例如，我们知道在现代密码中，设计者首先需要证明其提出的密码算法或者协议可以抵御所有的已知和未知的攻击。然而，有很多密码算法或者协议无法证明自己是安全的，但也无法找到安全漏洞。在这种情况下，是设计者没有找到正确的证明方法呢？还是这个密码算法或者协议本身就不可能被证明呢？图灵奠基的可证明性理论对这些问题给出了答案，那就是很多我们无法证实或者证伪的密码算法或者协议，并不是由于设计者缺少正确的证明方法，而是这个密码算法或者协议本身就不可能在有限步骤内被证明。这就要求设计者不断地对其密码算法或者协议进行修改，使得其能被证明。此外，图灵发明的（通用）图灵机也被广泛应用于密码算法或协议敌手模型中对敌手的建模，使对敌手的运算时间约束可以转化成对于算法的计算步骤限制。目前被密码学界广泛接纳的通用可组合安全模型(universal composability)就是通过多项式时间通用图灵机来模拟敌手的。

本期专题邀请了相关领域的专家学者深入探讨图灵对密码学发展的深远影响和密码学的前沿进展，共组织了六篇文章，涵盖了密码设计与密码分析这两个密码学的组成部分，同时兼顾了广度与深度。

第一篇文章是由英国兰卡斯特大学助理教授张秉晟和浙江大学研究员秦湛联合撰写的《通用图灵机及其对现代密码安全建模的影响》，以（通用）图灵机的计算理论为切入点，深入浅出地分析（通用）图灵机对密码学基本算法工具的安全定义和对密码协议的安全性建模产生的深远影响。作者介绍了密码学中的加密算法是如何从AES时代逐渐演化到现在的可证明安全定义以及（通用）图灵机在其中起到的作用。另外，作者还梳理了密码协议，例如安全多方计算的安全性建模和定义是如何通过几十年的研究探讨演化到如今的通用可组合安全模型，重点解析了交互式图灵机对整个通用可组合安全模型构架的奠基作用。

第二篇文章是由山东大学教授王美琴等撰写的《从图灵破解Enigma到现代密码分析》，介绍了Enigma密码机的工作原理和图灵对Engima密码机的破解，并且解析了Enigma密码机的破解对现代密码分析的影响。作者还以针对哈希函数的破解实例来呈现现代密码分析对安全密码算法设计的重要性。

第三篇文章是由中国科学院信息工程研究所研究员胡磊和副研究员宋凌撰写的《密码杂凑函数的回顾与进展》，介绍了用于实现密码学研究中的完整性和认证性的一类关键密码学函数——密码杂凑函数（又称哈希函数、散列函数等）。作者阐述了密码杂凑函数的性质及其具体应用，梳理了密码杂凑函数的发展脉络，总结了密码分析对密码杂凑函数标准化的影响，并具体介绍美国国家标准与技术研究院(NIST)杂凑函数标准SHA-3及其最新分析进展。

第四篇文章是由香港城市大学副教授王聪和武汉大学教授王骞等联合撰写的《安全多方计算理论与实践》，从理论和实践的双重角度对安全多方计算进行深入的解析。作者从生动的现实问题入手，介绍了安全多方计算的系统模型、安全模型以及理论上的普适性解决方案。同时，文章还梳理了安全多方计算在实际应用中的前沿进展，总结了当前安全多方计算应用的现状，指出了未来安全多方计算的研究方向。

第五篇文章是由美国新泽西理工学院助理教授唐强和哥伦比亚大学教授慕梯·杨(Moti Yung)联合撰写的《抗后门的新一代密码学Cliptography研究进展》，对密码学的通用后门攻击Kleptography进行了系统的总结，并且介绍了抗后门密码学Cliptography的前沿进展。作者先阐述了密码学后门背后的科学原理，回答了如何在设计之初就考虑到这种可能的后门攻击问题，进而介绍了抗后门密码学Cliptography如何弥合这个密码学理论设计与实际实现之间的鸿沟，并对新一代密码学理论基础和密码标准提出新的建议。

第六篇文章是由浙江大学副教授张帆、上海交通大学教授谷大武等撰写的《人工智能之于旁路分析》，介绍了人工智能技术在密码旁路分析领域的研究现状，梳理了机器学习算法在旁路分析领域的发展过程，剖析了人工智能技术在密码旁路分析领域取得成果的原因，并指出了将人工智能技术与旁路分析领域结合的研究方向。

希望本专题能鼓舞更多的学者和安全从业人员参与到网络空间安全和信息安全的研究中，设计与分析新密码算法和协议，开拓新的研究方向和领域。

作者介绍

任 奎

CCF专业会员。浙江大学网络空间安全研究中心主任，国家千人计划特聘教授。主要研究方向为数据安全，云安全，人工智能安全，物联网安全等。kuiren@zjueducn

CCF推荐

精品文章

点击 “阅读原文” ，前往CCF数图相关栏目。

9月18日，阿里巴巴宣布，国际视频标准华人、前高通首席工程师陈颖和加拿大西蒙弗雷泽大学 (SFU) 终身副教授谭平入职阿里人工智能实验室（以下简称 AI Labs）。

据了解，这两名科学家的年薪均达到百万美元。

陈颖曾任美国著名芯片公司高通首席工程师。在高通期间，他主导了MPEG国际视频编码H264（1080P）、H265（4K蓝光）标准制定，拥有250项已授权美国专利，是首个获得高通“知识产权成就奖”的华人。

加入阿里AI Labs后他将担任人工智能和边缘计算首席科学家，重点攻克家用智能终端视觉技术，降低物联网视觉芯片门槛，打造更加普惠人人可用的家庭 科技 产品。

阿里 AI Labs视觉产品首席科学家 陈颖博士

谭平是加拿大西蒙弗雷泽大学 (SFU) 终身副教授，研究领域是真实感的三维重建（SfM）技术，可通过真实物体的照片自动对物体进行3D建模。他曾受邀担任国际顶级学术会议CVPR、SIGGRAPH领域主席、IROS副主编，是3D视觉领域的标杆式人物。

加入阿里 AI Labs后，谭平担任计算机视觉首席科学家，专注三维建模和全息技术研发，建立真实世界的三维数字化版本，打造逼真的虚拟世界，未来人们通过全息技术在虚拟世界中可以足不出户游遍全球。

阿里 AI Labs计算机视觉首席科学家 谭平教授

据介绍，两位聚焦于视觉计算领域的顶级科学家入职，意味着在即将到来的5G高速互联时代，阿里AI Labs已开始从语音交互向信息量更大更有想象力的视觉交互进行布局，智能助手天猫精灵在视觉领域未来或将有更多惊喜。

另据公开信息，目前阿里AI Labs除了陈颖、谭平外，核心产品及技术研发团队还包括实验室负责人陈丽娟、语音技术首席科学家聂再清、机器视觉杰出科学家李名杨、首席设计师李剑叶、硬件终端总经理茹忆、产品运营总经理杜海涛等。

国际会议，第五届人工智能与安全国际会议（The 5th International Conference on Artificial Intelligence and Security, ICAIS 2019),原名为国际云计算与安全。

人工智能技术正在全球范围内蓬勃兴起，为经济社会发展注入了新动能，深刻改变着人们的生产生活方式。伴随人工智能技术的快速发展与广泛应用，智能领域所涉及的安全问题已成为业界关注的重点。

7月26-28日，由ACM、南京信息工程大学、纽约大学、密歇根州立大学等多所高校、研究机构及相关学术组织联合主办的“第五届人工智能与安全国际会议”（The 5th International Conference on Artificial Intelligence and Security,以下简称ICAIS 2019）在纽约大学举行。

来自中国、美国、俄罗斯、日本、法国、加拿大、意大利等国的人工智能、网络安全领域专家、教授、学者齐聚一堂，共同就大数据、人工智能、物联网、网络安全、新媒体、量子计算、信息隐藏与隐私保护等七大领域进行探讨。

7月27日，ICAIS 2019在纽约大学正式开幕。会议由纽约大学Quanyan Zhu教授主持，我校计算机与软件学院院长孙星明教授作为本次会议的大会主席致开幕词。纽约大学工学院Kurt H Becker副院长致欢迎辞，代表学校向来自海内外的专家学者表达感谢并预祝大会圆满成功。

获得的荣誉多。
南京大学司徒凌云教授于2020年在南京大学博士毕业，在2020年获得过南京大学育教融合奖，2021年获得江苏省双创博士、南京大学信息管理学院实践育人优秀教师等荣誉，还在国内外多种期刊中发表过文章，获得的荣誉非常多。
司徒凌云教授的导师为李宣东教授，2022年5月出版了《物联网软件漏洞检测技术》。

---