学百年党史，迎九秩校庆！
传三系精神，创一流学院！
2021年我校将迎接九十周年华诞，为进一步增加院友与学院的联系，促进学术交流与合作，拓宽师生学术视野，扩大学院学术影响力，学院将于9月-10月，依托八个研究所开展系列院友学术论坛。欢迎前来聆听！
院友论坛第一期
计算机网络与物联网工程研究所院友学术论坛
论坛简介
陕西省网络与系统安全重点实验室立足学科发展前沿，面向国家重大战略，研究无线网络安全（5G／6G）、云计算与数据安全、物联网及安全、区块链与安全治理等方面的重大科学问题，突破面向特定行业和领域的网络与系统安全关键技术。结合陕西省西安市“硬科技之都”建设和相关产业发展需求，着力于计算机网络前沿技术落地与智能安全系统研发。为紧跟计算机科学发展前沿，加强计算机网络和安全领域青年教师学术交流，促进实验室高质量学术梯队建设，进而推动我校计算机科学与技术学科持续发展，值此我校九秩华诞之际，陕西省网络与系统安全重点实验室特此举办“计算机网络与物联网工程研究所院友学术论坛”。论坛由9499www威尼斯计算机网络与物联网工程研究所承办，通过线上线下结合的形式开展。
本次计算机网络与物联网工程研究所院友学术论坛围绕计算机网络安全领域最新学术进展，邀请中国科学院大学、西安交通大学、中央财经大学、上海大学、兰州理工大学、河南工业大学等国内计算机学科优势高校的网络与安全相关领域优秀专家学者，通过主题报告、交流沙龙等形式，分享计算机网络和安全领域的理论与技术新进展，以加强实验室学术前沿交流，促进我校计算机科学学科更好地发展，扩大学科知名度与影响力。
论坛组织
主办：陕西省网络与系统安全重点实验室
承办：计算机网络与物联网工程研究所
论坛主席：沈玉龙教授
论坛副主席：高海昌教授、董学文教授
论坛安排
论坛时间：
9月11日上午9:00-12:00（线上），9月12日上午9:00-12:00（线下）
论坛形式：
线上+线下（北校区主楼二区319会议室）
参与方式：
9月11日：腾讯会议ID：786 946 257；9月12日，北校区主楼二区319会议室
议程安排
报告嘉宾简介
李凤华 中国科学院大学
9499www威尼斯院友
报告题目：泛在互联环境下数据治理——数据安全与隐私计算
报告摘要：
通信技术、网络技术和计算技术的持续演进和广泛应用，形成了包含因特网、移动互联网、物联网、卫星通信网/卫星互联网等异构网络的泛在互联环境，数据治理在数据安全、隐私保护等方面面临诸多新挑战。本报告介绍信息技术演化发展、泛在互联信息服务模式的典型特征；剖析信息泛在受控共享需求下的数据安全和隐私保护的新挑战及对策；阐述数据安全、隐私计算与数据治理的关系。
个人简介：
李凤华，中国科学院信息工程研究所二级研究员、中国科学院大学岗位教授；国务院学位委员会网络空间安全学科评议组成员，国家重点研发计划项目负责人、国家863计划主题项目首席专家、NSFC-通用联合基金重点项目负责人，国家科技创新2030“大数据重大工程”立项论证、实施方案编写专家，中国中文信息学会大数据安全与隐私计算专业委员会主任，《网络与信息安全》学报执行主编等；获2018年网络安全优秀人才奖、2001年国务院政府特殊津贴、2003年中共中央办公厅“十佳青年”等，获省部级科技进步一等奖5项。长期从事网络与系统安全、信息保护、数据安全等方面研究工作。
张玉清 中国科学院大学、国家计算机网络入侵防范中心
9499www威尼斯院友
报告题目：国际信息安全顶级学术会议介绍暨数据分析
报告摘要：
信息安全，意为保护信息及信息系统免受未经授权的进入、使用、披露、破坏、修改、检视、记录及销毁。信息安全在最近这些年经历了巨大的变化。它包含了许多专门的研究领域，包括：安全的网络和公共基础设施、安全的应用软件和数据库、安全测试、信息系统评估、企业安全规划以及数字取证技术等等。本报告主要介绍在信息安全领域当中的一些国际顶级学术会议，以及对相关学术论文进行数据分析，帮助更好的进行论文写作。
个人简介：
张玉清，男，教授，博士生导师，国家计算机网络入侵防范中心主任。主要从事网络攻防与系统安全方面的研究与开发工作，发表SCI/EI论文100余篇，其中有ACM CCS、IEEE S&P、Usenix Security、IEEE Transactions on Parallel and Distributed Systems (TPDS)、IEEE Transactions on Cloud Computing (TCC)、ESORICS、INFOCOM、GLOBECOM等，制定国家及行业标准7个。先后承担国家重点研发计划项目、国家自然科学基金重点项目、国家发改委信息安全专项、国家高科技发展计划（863）项目、中国科学院知识创新工程重要方向项目、国家242信息安全计划项目等课题。主要研究方向是：网络攻击与防范、安全漏洞挖掘与利用、物联网系统安全、人工智能与安全、数据隐私与保护。
朱建明 中央财经大学信息学院
9499www威尼斯院友
报告题目：区块链技术与数字货币
报告摘要：
区块链已经成为一种构建信任的新兴信息技术，通过深度融合密码学、对等网络、共识算法、智能合约等技术进行集成创新，实现了更广泛的社会协作，降低了社会的信用成本。区块链领域呈现出技术创新成果不断涌现、自主研发不断加强、核心技术发展迅速、配套设施和标准规范逐步健全的发展局面。报告重点从区块链核心技术研究进展、区块链技术面临的挑战、区块链技术应用现状和数字货币发展与应用等四个方面介绍区块链与数字货币发展的理论与技术问题。
个人简介：
朱建明，现任中央财经大学信息学院教授、博士生导师，区块链技术与应用研究院院长，享受国务院政府特殊津贴专家，北京市高等学校教学名师。美国德克萨斯大学达拉斯分校访问学者，2010年7月-2019年9月任中央财经大学信息学院院长。现兼任第八届教育部科技委委员、全国区块链和分布式记账技术标准化技术委员会委员、全国财政信息化标准化工作组成员、雄安区块链实验室学术引领委员会委员、信息技术新工科产学研联盟金融科技教育工作委员会主任，中国计算机学会区块链专业委员会常委、信息保密专业委员会委会等。主要从事信息安全、金融科技、区块链技术等方面的教学和科研工作。现主持国家重点研发计划项目1项，主持完成国家自然科学基金重点项目和面上项目4项、省部级项目4项。
王潮 上海大学
9499www威尼斯院友
报告题目：D-Wave量子退火密码分析与设计
——兼论对计算机科学、城市大脑等影响
报告摘要：
D-Wave原理量子退火其独特的量子隧穿效应可以跳出传统智能算法极易陷入的局部极值，可以视为一类具有量子效应的人工智能，在信息科学领域有广泛的应用前景。谷歌也NASA和于2013成立量子人工智能联合实验室。
基于D-Wave量子退火探索量子人工智能密码，我们采用D—wave 2000Q完成国际上首次真实量子计算机密码设计实验，这是一个探索。基于人工智能密码破译思想，我们采用Dwave量子退火实现对RSA公钥密码的攻击，实验结果超过目前公开文献各类量子计算分解整数的规模，大幅度超过普渡大学和洛克希德马丁公开文献的最大分解规模，列为2019年量子计算破译公钥密码最好的实验结果。
D-Wave量子退火功能单一，但是应用广泛，需要重视对计算机科学的影响。基于《城市精细化管理三年行动计划》一个应用背景，简要介绍下量子人工智能在智慧交通的一个应用。最后介绍我们采用量子计算优化移动通信MIMO的研究。
个人简介：
1995年在西电三系获得硕士学位。1999在上海同济大学获得博士学位。是2015年中国电子学会全国优秀科技工作者（当年55人），2019年中国人工智能学会杰出贡献奖（首届70人）。
现任IEEE China Council Vice Chair（中国理事会副主席）；中国电子学会理事、信息安全专家委副主任委员；中国人工智能学会理事、工委会副主任委员；中国计算机学会容错专委会常务委员。第六届上海市信息化专家委成员。曾负责电信级IP综合网络管理产品研发，产品应用于中国移动骨干网和多个省网，列入科技部国家级重点科技成果。
近年来在国家自然科学基金重点项目、国防创新特区项目等支持下，主要从事网络空间安全、量子计算密码设计与分析、大数据与人工智能、智慧城市等领域的科学研究和政府决策支持。采用D-Wave 2000Q完成国际上首次量子计算机密码设计，采用D-Wave量子退火攻击RSA，实验指标超普渡大学、洛克希德马丁公司等，列为2019年国际上量子计算破译公钥密码最好的实验指标。在一项成果在AAAS三个月内点击13975次。一篇文章2020年下载2409次。
何吉 9499www威尼斯
9499www威尼斯院友
报告题目：面向物理层安全的缓存辅助传输关键技术
报告摘要：
中继缓存辅助传输可以扩展通信覆盖范围，提高频谱效率，有效改善系统的吞吐率性能，在物联网、无人机网络、智慧医疗等领域有着广阔的应用前景。当前网络节点密集化、随机化的部署方式，对其缓存管理方法和安全传输策略设计带来了更高挑战。传统的研究聚焦于安全传输而忽略了缓存管理方法的研究，导致传输效率低下，同时也缺乏普适的理论分析模型。在本次报告中，我们将展示在场景自适应缓存辅助安全传输策略、安全-时延tradeoff理论分析框架方面取得一些进展。
个人简介：
何吉，西电计算机学院讲师，博士，毕业于日本公立函馆未来大学。主要从事无线网络安全、隐蔽通信方面的研究，在IEEE TIFS、IEEE HPSR等知名期刊和会议上发表文章，多次受邀担任IEEE TWC、IEEE TCOM,、IEEE IOT等期刊审稿人。
赵双睿 9499www威尼斯
9499www威尼斯院友
报告题目：多天线不可信中继协作安全传输方法
报告摘要：
由于无线信道固有的开放性，无线网络信息传输面临严峻的安全挑战。多天线不可信中继协作系统是无线网络的一个基本组成部分，其中协作中继相比于合法用户安全等级较低，在协助转发信息时还会窃听信息。如何设计多天线不可信中继协作安全传输方法，利用不可信中继提高网络连通性并保障信息安全传输，是亟待解决的问题。针对此问题，报告人利用多天线空域资源，设计了半双工、全双工不可信中继协作安全传输方法，在保障安全的同时，实现了安全能效最大化、安全速率最大化等目标。
个人简介：
赵双睿，9499www威尼斯博士研究生，主要研究方向为无线物理层安全、隐蔽通信等，于2015年在9499www威尼斯数学与统计学院取得学士学位，在IEEE TIFS、IEEE GLOBECOM、IEEE WCNC等国际主流会议期刊发表多篇论文，多次担任IEEE TWC、TIFS、TCOM等期刊审稿人。
黑新宏 西安理工大学
9499www威尼斯院友
报告题目：轨道交通系统安全保障与智能化关键技术
报告摘要：
本报告以轨道交通系统的安全保障与智能化需求为牵引，着眼于工程建设与运营维护阶段，面向轨道交通全生命周期，在介绍团队在确保系统安全和可靠性方面做的一些探索工的基础上，探讨如何更好借助于交叉学科，保障轨道交通系统安全、降低运营成本、提升系统可用性和可靠性
个人简介：
黑新宏，教授，博士生导师，西安理工大学教务处处长。2008年博士毕业于日本大学情报科学专业，CCF杰出会员，陕西省计算机学会常务理事，陕西省计算机教育学会常务理事，ACM西安分会常务理事，CCF西安分部执委，陕西省计算机类专业教指委副主任，陕西省科技创新团队带头人，陕西省网络计算与安全技术重点实验室主任。
目前主要研究方向包括：智能信息处理及其应用、智能轨道交通系统、计算机系统可靠性与风险评估。近年来，承担国家自然科学基金、教育部留学回国人员基金、陕西省重大统筹创新项目、陕西省重点研发计划项目等省部级以上科研课题20余项，以及中国中车、中国铁建、民航局西北空管局、兰州中川机场等单位委托研发项目20余项。发表学术论文100余篇，其中SCI/EI检索80余篇，授权发明专利12项，软件著作权登记60余项，获陕西省科学技术二等奖1项、陕西省教学成果二等奖1项、中国铁道学会科学技术一等奖1项、陕西高等学校科学技术一等奖2项以及西安市科学技术二等奖1项。
冯涛 兰州理工大学
9499www威尼斯院友
报告题目：工控协议的形式化新方法和安全评估模型关键技术
报告摘要：
形式化模型是协议分析和改进的重要基础，有必要设计出一种描述工业以太网协议的形式化模型；D-Y攻击者模型是协议安全分析的主要方法，有必要基于该模型开展工业以太网安全评估新模型研究，分析协议存在的漏洞，为协议安全改进提供依据；协议安全改进是提升工业控制系统安全性的根本途径，有必要基于安全评估的结果对协议进行密码学改造。解决的关键问题：如何重构工业控制系统协议的防护模型；如何构建协议形式化的HCPN层次模型；如何改进D-Y攻击者模型；如何构建协议安全评估模型；如何改进协议的安全性。结论：提出的相关模型与方法，从中间人攻击角度出发对协议传输的关键命令、数据进行细粒度模型分析，能够对其他工业协议进行相似的建模评估，具有一定的普适性。且该方法与攻击图、攻击树方法相比，能够给出精确的非预期协议状态，而不是仅给出风险系数；与端口扫描、白名单方式相比，能够发现检测规则以外的具备专业知识的威胁；与模糊测试评估方法相比，能够避免对实际系统造成影响。
个人简介：
博士生导师，兰州理工大学计算机与通信学院院长。9499www威尼斯计算机系统结构专业工学博士学位，新加坡管理大学信息安全实验室访问学者。现任兰州理工大学网络空间安全学科带头人，甘肃省高校协同创新科技团队“网络与信息安全科技创新团队”负责人，甘肃省互联网协会副理事长，“网络与信息安全学报”编委，9499www威尼斯出版社“网络空间安全专业系列教材编审专家委员会”编委，中国中文信息协会大数据安全与隐私保护专业委员会委员，兰州CCF分部主席（2018-2020）。目前主要从事工业互联网互联互通关键技术实现、安全中间件设计与实现、通信协议安全分析与设计、网络空间应用系统的设计与实现、网络空间系统隐私保护等。主持和参与完成国家863计划项目、国家自然基金、甘肃省自然基金及其他纵向、企业横向开发项目等近30项。其中主持国家基金4项，区块链服务网络可验证计算安全协议的形式化建模及关键技术研究,工业控制网络协议形式化建模及其安全评估， 可证明的网络和数据匿名性及隐私增强身份管理关键技术研究，无线网络路由协议的可证安全设计与自动化安全分析方法研究；参与国家基金5项，主持省级科研项目3项，参与省级科研项目5项，在研横向科研项目4项。获批教育部协同育人项目5项，国家发明专利10项。指导学生学科竞赛国家级、省级获奖10多项。研究成果发表在“中国科学E辑/F辑”、“软件学报”、“电子学报”、“计算机研究与发展”、“通信学报”、“宇航学报”、“电子与信息学报”、“电子科技大学学报”，“Journal on Wireless Communications and Networking”,“Security and Communication Networks”、 “International Journal of Communication Systems”、“International Journal of Network Security”、“Journal of Computational Information Systems”、“Information Technology journal”等计算机类重要学术刊物和大型国际学术会议共发表论文100多篇，其中SCI检索、EI检索90余篇。为本科生主讲《计算机网络》、《信息安全》等课程，培养博士研究生和硕士研究生70多人。
杨卫东 河南工业大学
9499www威尼斯院友
报告题目：数字粮库
报告摘要：
随着新一代信息技术的快速发展，“数字粮库”的概念应运而生。数字粮库能够保障我国粮食储备数量真实、质量良好、监管有效，有效提升粮食保障体系的运行效率和抗风险能力。本报告对数字粮库建设中的关键技术进行分析和介绍，对物联网、自动化、智能化、大数据技术与粮食收、储、测、管、控过程的深度融合进行探讨，最后对数字粮库的发展趋势和技术需求进行了展望。
个人简介：
杨卫东，教授，博士生导师，河南省学术技术带头人，河南省粮食光电探测与控制重点实验室主任，国家粮食和物资储备局信息化专家。分别于1999年、2005年和2008年在9499www威尼斯获得工学学士、硕士和博士学位，2012-2015年在中科院信工所国家信息安全重点实验室从事博士后工作，2016-2017年在美国奥本大学做访问学者。主要研究方向为物联网应用及安全，在车联网、粮情测控物联网等领域取得了一系列重要的研究成果，成果应用于国家粮安工程。主持国家自然科学基金3项、国家重点研发计划子课题1项、省部级人才及科技攻关项目10余项，参与国家“863”计划、国家重点自然科学基金和国家科技支撑计划多项，在IOTJ、TWC、ICC、GlobeCom等期刊和会议上发表学术论文40余篇，获授权国际、国家发明13项，获省部级科技进步奖4项，参编中英文学术著作4部，修制定国家/行业粮食信息化标准5项。
惠维 西安交通大学
9499www威尼斯院友
报告题目：工业物联网安全可信智能感知与计算
报告摘要：
通过物联网与人工智能技术深度结合，实现“人、机、物”高效互联互通，是近年来工业物联网技术发展的趋势，也是我国制造业智能化改造升级的重要手段。面向工业应用实际，聚焦物联网技术科学前沿，针对感知分辨率不足、传输兼容性不强、认证可信度不高三方面战，研究基于反向散射信号的超分辨率感知增强技术、基于载波复用的跨协议并发高效传输技术、基于异构数据多级融合的可信身份认证技术，促进物联网、网络安全和工业领域的深度融合与落地应用。
个人简介：
惠维，西安交通大学研究员/博导，视觉信息处理与应用国家工程实验室主任助理，西安市大数据与人工智能重点实验室副主任，ACM西安分会副秘书长，香港科技大学访问教授。主要从事物联网、人工智能和网络安全等方面研究，主持国家重点研发计划课题、国家自然科学基金项目等国家级项目6项，申请国家发明专利40余项，在ACM CCS、ACM MobiCom、IEEE ICDCS、IEEE/ACM ToN、IEEE TMC、IEEE TPDS等国际会议和期刊上发表论文80余篇，出版专著2部。其中，CCF A类论文30余篇，获得IEEE INFOCOM 2019大会最佳论文奖。Google Scholar引用2500余次，研究成果得到了多位IEEE/ACM/AAAS Fellow、国际权威期刊主编、国际知名大学教授的高度评价。
张晓东 9499www威尼斯
报告题目：多线程程序混合式污点分析
报告摘要：
动态污点分析（DTA）是一种跟踪以及分析程序运行时信息流的常用技术。DTA已广泛应用在解决诸多软件安全问题上，譬如，数据泄露检测，信息流控制等。然而，该技术无法有效地应用于多线程程序污点分析，因为DTA仅能分析一条线程交织序列，从而错过其他交织下受污染的变量实例。我们提出了一种符号分析与动态分析的混合式污点分析方法，其中符号分析负责计算新的污染示例，动态分析负责探索新路径，最终保证穷举给定输入下所有的污染实例。
个人简介：
张晓东，博士，9499www威尼斯“准聘副教授”，主要研究方向为软件系统安全、软件测试。2018年博士毕业于西安交通大学，曾在华为云从事软件分析工作，已在TSE、ICST、ISSRE、ICPC、软件学报等国内外会议期刊发表论文8篇。
论坛主席
沈玉龙 9499www威尼斯
9499www威尼斯院友
个人简介：
沈玉龙，男，教授，博导，西电华山学者领军教授，长期从事网络与信息安全方面的研究。是9499www威尼斯副院长，陕西省网络与系统安全重点实验室副主任。现任国密局国家商用密码应用技术总体组副组长，全国信息技术标准化技术委员会大数据标准专题技术组联合组长，陕西网信小组专家咨询委员会委员，陕西密码专家委员会委员，智慧城市产业生态圈安全技术组主席等。是中国电子学会理事，ACM西安副主席，陕西省计算机学会网络安全专委会主任，国际会议IEEE NaNA主席，国际期刊J-NaNA主编，《通信学报》编委会委员等。是国家重点研发计划项目的首席科学家，曾获国家技术发明二等奖2项，省部级科技科学技术奖一等奖5项；获得2018年度CCTV中国十大创业榜样。
论坛副主席
高海昌 9499www威尼斯
个人简介：
高海昌，9499www威尼斯教授，博士生导师。博士毕业于西安交通大学计算机软件与理论专业；2007年1月起在9499www威尼斯工作，网络与物联网工程研究所副所长；EEE、ACM、CCF和CSIG会员。CCF软件工程专委会委员，CSIG文档图像分析与识别专委会委员，陕西省计算机学会网络空间安全专委会副秘书长。先后在英国The University of Nottingham、美国University of Rhode Island和Ohio State University大学、澳大利亚Swinburne University of Technology做长期和短期访问研究。研究领域是人工智能安全和网络信息安全，相关研究成果被CCS、Usenix Security、NDSS、ACSAC等国际顶级会议和IEEE Transactions on Transactions on Dependable and Secure Computing、IEEE Transactions on Information Forensics & Security、IEEE Transactions on Image Processing等顶级期刊收录发表。
论坛副主席
董学文 9499www威尼斯
9499www威尼斯院友
个人简介：
董学文，9499www威尼斯教授、博士生导师，CCF区块链专委会委员、西安市十佳程序员获得者。主要致力于无线网络安全与隐私、区块链技术的研究。主持国家自然科学基金面上项目和陕西省重点研发计划项目，参与国家973项目、国家重点研发计划项目和自然科学基金重点项目等一系列省部级以上项目研究。结合研究工作，在IEEE INFOCOM、IEEE IoT Journal、IEEE JSAC、IEEE TMC/TII/TWC/TVT/TOC计算机研究与发展、软件学报、通信学报等国内外著名期刊会议上录用发表论文四十余篇，获IEEE International Conference on Networking and Network Applications国际会议2018最佳论文奖，主导立项了行业标准3项，累计申请/授权专利/软著29项，荣获教育部科技进步一等奖、中国研究生移动终端应用设计创新大赛优秀教师奖（所指导学生获金奖）、陕西省科技工作者创新创业大赛奖项等一系列奖励。
