2019年8月19日至22日，由新疆大学与尊龙凯吋官方网站联合主办，新疆大学软件学院承办，新疆师范大学计算机科学与技术学院、中通服公众信息产业股份有限公司、新疆天山智汇信息科技有限公司、北京启明星辰信息安全技术有限公司、新华三技术有限公司协办的信息安全与可信软件研讨会在乌鲁木齐市顺利召开。

本次会议由尊龙凯吋官方网站援疆干部、新疆大学软件学院副院长张磊研究员担任程序委员会主席，新疆大学软件学院院长田生伟教授担任大会主席。本次会议邀请了高校、科研院所和来自企业的嘉宾就诸多信息安全与可信软件国际前沿研究领域的议题展开讨论，旨在探讨信息安全与可信软件国际前沿研究领域的最新研究进展与发展方向。

新疆大学党委常委、副校长贾振红教授，新疆大学研究生院院长于炯教授，自治区网信办网安处杨天宗副处长，自治区网信办米雪，尊龙凯吋官方网站曹珍富教授等专家参加了本次会议。

与会的专家学者合影

开幕式上，新疆大学党委常委、副校长贾振红，自治区网信办网安处杨天宗副处长以及本次会议大会主席、新疆大学软件学院院长田生伟教授致辞。开幕式由张磊研究员主持。

新疆大学党委常委、副校长贾振红致欢迎辞

自治区网信办网安处杨天宗副处长致辞

大会主席新疆大学软件学院院长田生伟教授致辞

张磊研究员主持开幕式

本次会议包含6个特邀报告和2个企业报告。两家自治区安全企业在研讨会上做了企业介绍。

曹珍富教授做了题为“密码安全的可证明安全理论”的报告。本报告从通信入手，在提出保密通信要求的基础上，说明可证明安全理论的建立过程，包括互联网密码机制及这方面获得图灵奖的密码学成果，以及近年来面向云计算、大数据和AI驱动的安全计算问题，尤其是提出了处理这些问题的方法和理念。最后，他还介绍了该领域的部分研究成果，尤其是报告人团队在这方面取得的部分研究成果。

曹珍富教授做报告

李舟军教授做了题为“安全协议形式化分析方法与自动验证工具”的报告。报告首先简要介绍了安全协议形式化分析的研究背景以及研究现状，然后重点阐述在基于Horn 逻辑的安全协议验证方法以及自动验证工具方面的一系列研究工作。

李舟军教授做分享

张福泰教授做了题为“抗合谋攻击的基于证书的聚合签名方案”的报告。报告探讨抗合谋攻击的基于证书的聚合签名方案的设计，讨论基于证书的聚合签名方案的在云存储等场景中的应用。

张福泰教授带来精彩报告

王励成副教授对编写的《安全通论》进行了汇报。《安全通论》以香农《信息论》、《控制论》、《概率论》和《系统论》等为工具，用于建立网络空间安全的基础理论体系。

王励成副教授做汇报

杨波教授做了题为“区块链技术及应用”的报告。报告介绍区块链的基本概念、结构、应用，特别是其中使用的密码技术。区块链技术作为分布式数据存储、点对点传输、共识机制、密码算法等技术的集成，是下一代数字经济的基石，可以极大地推动数据的可信存储、可信交换和分享。

杨波教授做报告

沈健教授做了题为“云环境下的数据安全共享”的报告。报告主要围绕数据安全共享展开，提出可追踪的匿名数据共享方案。方案提高了云环境中数据共享的高效性和安全性，实现低开销、高效率的云数据动态操作和批量审计，保护了外包数据的完整性和正确性。

沈健教授做报告

除了以上报告，新华三技术有限公司资深安全顾问姜翊杰、北京启明星辰信息安全技术有限公司资深安全顾问吕海山分别做了企业报告；中通服公众信息产业股份有限公司王秀英副总经理、新疆天山智汇信息科技有限公司邓朝阳总经理做企业介绍。

会议现场

21日下午，专家学者们参观了特变电工股份有限公司（特变电工），深入了解这家构建了“以输变电产业为主导、新材料产业为支撑、新能源产业为亮点”的三大产业协同发展的产业格局的我国重大装备制造业核心骨干企业。

22日会议开展了自由论坛并圆满结束。