会议主要来宾介绍 强志军 国家密码管理局商用密码管理办公室副主任、 中国密码学会秘书长 何大可 中国密码学会副理事长、教授 谢晓尧 贵州省政协副主席、贵州师范大学副校长、教授 李跃文 贵州省密码管理局局长 宋宝安 贵州大学党委常委、副校长、教授 李　祥 贵州大学名誉校长、中国密码学会理事、教授、高级会员 马建峰 长江学者特聘教授、计算机网络与信息安全教育部重点 实验室主任、西安电子科技大学计算机学院院长、教授 郑智捷 云南大学软件学院信息安全系主任、教授、高级会员 向淑文 贵州大学校长助理、教务处处长、教授 陈 灏 中国密码学会办公室主任 任中伟 贵州省密码管理局办公室主任 许亚萍 贵州省密码管理局密码管理处处长 杜培术 贵州省科协学会部部长 韦 维 贵州大学理学院院长、教授 许道云 贵州大学计算机科学与信息学院院长、教授

会议主要来宾介绍 骆长江 贵州大学党委办公室主任 郭 兰 贵州大学科技处副处长 罗卫刚 贵州大学党委办公室副主任 郭 兰 贵州大学科技处副处长 罗卫刚 贵州大学党委办公室副主任 李秦伟 贵州大学计算机科学与信息学院副院长、教授 曾湘黔 贵州大学职业技术学院副院长、副教授 张 弘 贵州三超企业总经理 杨 华 贵阳数字证书认证中心副主任 彭长根 贵州大学理学院党委委员、数学系副主任、教授、高级会员 王 林 贵州民族学院教务处处长、教授、高级会员 文静华 贵州财经学院信息学院常务副院长、教授、高级会员 杨世平 贵州大学明德学院副院长、教授、高级会员 曹 斌 贵州中铝贵阳铝镁设计院副总工程师、研究员、高级会员 罗文俊 重庆邮电大学信息安全教学部主任、教授、高级会员 汪学明 贵州大学计算机科学与技术学院、教授、高级会员

在密码分析和设计中应用新型逻辑面对的机会和挑战——从现代密码发展角度观察变值逻辑体系 基于ATL逻辑的多方公平交换协议形式化分析 会议报告顺序 午别 序号 报告题目 报告人 上午 1 全民信息安全 何大可 2 信息安全保障与密码学 马建峰 3 分布式密码系统的相关问题 彭长根 4 在密码分析和设计中应用新型逻辑面对的机会和挑战——从现代密码发展角度观察变值逻辑体系 郑智捷 下午 贵州数字认证与服务 杨华 安全电子商务行为分析技术 文静华 重庆邮电大学信息安全专业提升工作汇报 罗文俊 基于ATL逻辑的多方公平交换协议形式化分析 汪学明 5 基于等价理论的安全协议分析方法研究 缪祥华 6 离散对数问题解决后的密码体制 李志敏 7 安全协议形式化分析技术及研究方向 龙士工 8 未来网络与密码 袁科 9 多属性群决策理论信息安全风险评估方法研究 唐作其

报告人 何大可 教授 研究领域 领域建树 国家高性能计算中心（成都）主任 “信息安全与国家计算网格实验室”主任 中国密码学会副理事长、学术委员会委员 信息安全国家重点实验室第四届学术委员会委员 全国并行计算专业委员会委员 中国电子学会高级会员 研究领域 密码学，移动通信系统安全，信息系统安全工程， 并行计算，应用数学 领域建树 曾获陕西省及国家教委科技进步二等奖、国家自然科学四等奖，铁道部 科技进步三等奖、詹天佑人才奖 合作专著《保密学——基础与应用》获第三届全国工科电子类专业 优秀教材一等奖 密码发明专利、编码发明专利各一项，其他专利或专利申请数项

研究领域：系统安全、密码技术、无线/移动安全 西安电子科技大学特聘教授，博士生导师 西安电子科技大学计算机学院院长 计算机网络与信息安全教育部/信息产业部 重点实验室主任 陕西省优秀留学回国人员 中国密码学会常任理事 入选教育部千百人才计划 2010年被评为长江学者特聘教授 报告人 马建峰 教授 研究领域：系统安全、密码技术、无线/移动安全 近期部分科研项目: 国家自然科学基金项目“自组织可重构的空间信息网安全组网技术研究” 国家自然科学基金项目 “可证安全的多方安全协议的分析与设计” 国家自然科学基金-重大研究计划“容忍入侵的入侵检测模型与检测 方法研究”

报告人 彭长根 教授 研究方向 博士，贵州大学教授 贵州大学理学院党委委员、数学系副主任 贵州省计算机学会理事 中国密码学会高级会员 计算机软件与理论专业硕士点负责人 研究方向 密码学与信息安全 发表论文近 30 篇 国家自然科学基金项目1项 主持项目 SCI或EI收录 9篇 贵州省高层次人才项目1项 核心以上期 13篇 贵州省科学技术基金项目2项 以第二主持人参与省部级以上项目7项 其它省部或地厅级项目3项

报告人 郑智捷 教授 云南大学教授 澳大利亚Monash大学博士 科研方向 澳洲Conjugate Systems 公司总裁。 报告人 郑智捷 教授 云南大学教授 澳大利亚Monash大学博士 科研方向 医学图像系统、高性能嵌入式图像分析处理/理解系统、 知识模型、图像按内容检索、指纹识别、人脸识别、 分层结构化特征分类系统 澳洲Conjugate Systems 公司总裁。 国际信息获取杂志编委(International Journal of Information Acquisition, World Scientific)。 2003年中国国家自然科学基金委信息科学部特邀郑智捷博士为 国家自然科学基金委海外会审专家，参加评定“人脸识别和指纹 识别国家重点项目”和其他面上项目。

任职：贵州财经学院信息学院副院长“计算机应用技术”重点学科带头人 报告人 杨华 文静华 杨 华 贵州数字证书认证中心副主任 文静华 贵州财经学院教授，博士 任职：贵州财经学院信息学院副院长“计算机应用技术”重点学科带头人 硕士生导师、贵州省计算机学会理事、中国青联IT分会委员 研究方向：信息安全、密码协议分析、电子商务安全 主要成果：主持了贵州省近10项科研项目，参加1项 国家社科基金《喀斯特区域农业信息服务与生态环境保护 及农业经济发展模式研究》、1项国家自然科学基金《随 机游动与网络安全》，近年来在《通信学报》、《电子与 信息学报》等国家级核心期刊和重要学术会议上发表论文 20余篇，其中SCI、EI、ISTP收录6篇

汪学明 贵州大学，教授，工学博士，硕士生导师 报告人 罗文俊 汪学明 罗文俊 重庆邮电大学，教授，博士 研究方向：计算机密码学与信息安全、密码算法、安全协议、现代近似算法 近期主持科研项目 2005 年贵州省长专项基金项目“安全多方计算密码理论与应用研究” 2008年贵州省自然科技基金项目“基于安全多方计算的数字签名方案设计与研究” 2009年重庆邮电大学人才引进基金项目“同态密码与安全多方计算研究” 汪学明 贵州大学，教授，工学博士，硕士生导师 职 务：全国计算机网络教育研究会理事、贵州省计算机学会理事、 贵州省逻辑教学研究会副会长、贵州制约逻辑学会常务副理 长兼学术委员会主任、贵州省自动化学会会员。 研究方向： 网络与信息安全、计算机软件与理论、协议分析与模型检测 Java技术及应用 主要成果：发表论文30余篇 (其中核心8篇、SCI收录1篇、EI收录2篇、 ISTP收录3篇)。参加国际学术会议5次（担任Session Chair 2次）、国内学术会议9次，主办“全国性逻辑系统、智能科学 与信息科学学术会议”4届。

李志敏 孝感学院，博士，曾任日本京都产业大学理学部客座研究员 报告人 缪祥华 李志敏 缪祥华 昆明理工大学，博士 研究方向：信息安全理论与技术、密码学、安全协议的形式化分析、安全协议的形式化设计以及数字签名。近几年共发表论文 16 篇（第一作者 12 篇） 科研工作 主持过基于 B/S 模式的消防信息系统的开发 主持过云南省检察院综合信息系统的开发 主持过基于 J-Mail 的邮件系统的开发 参与了中国电子科技集团公司第 30 所的项目“ NTRU 公钥密码体制的安全性分析” 李志敏 孝感学院，博士，曾任日本京都产业大学理学部客座研究员 主要研究方向：计算复杂性理论、智能计算与控制、安全电子商务协议分析与设计、图像处理与模式识别 参与了多项国家级和省级自然科学基金项目 在《数学学报》等国家权威期刊和国际会议上发表论文10余篇，其中被EI、ISTP检索3篇

报告人 龙士工 袁科 唐作其 贵州大学，副教授，博士，发表论文20余篇 龙士工 铜仁学院，讲师 袁 科 贵州大学，讲师，发表论文数篇 唐作其

中国密码学会概况 学会成立时间 学会级别 学会成员 学会宗旨 2007年3月25日 会徽 国家一级学会 从事密码学术研究的知名专家、学者和部分大专院校、科研院所、研究团队 学会成员 学会宗旨 遵守国家宪法、法律、法规和政策，维护国家利益和安全 坚持实事求是，倡导自主创新 发扬学术民主，开展学术自由讨论 尊重知识、尊重人才，为广大会员和密码科技工作者服务 团结全国密码工作者为促进密码学发展及密码学人才的成长贡献力量

中国密码学会组织 名誉理事长: 常务理事（按姓氏笔画排列）： 名誉理事: 理事（按姓氏笔画排列）： 理事长: 副理事长: 秘书长: 王 元 中国科学院 院士 万哲先 中国科学院 院士  名誉理事: 肖国镇 西安电子科技大学教授 王育民 西安电子科技大学教授  理事长:  裴定一 副理事长:  冯登国 何大可 秘书长:  强志军 常务理事（按姓氏笔画排列）： 王小云 冯登国 何大可 杨义先 张焕国 陈克非 马建峰 徐茂智 强志军 裴定一 理事（按姓氏笔画排列）： 马建峰 王 杰 王小云 文华英 冯克勤 冯登国 朱 洪 刘建伟 刘木兰 严 新 李 宝 李 祥 杨义先 吴文玲 吴成贵 何大可 张方国 张焕国 陈弘毅 陈克非 赵战生 胡予璞 徐茂智 徐秋亮 卿斯汉 黄月江 曹珍富 崔国华 符方伟 彭国华 韩正甫 强志军 裴定一 魏仕民

研究方向：可计算理论、密码学、网络安全等 中国密码学会云贵地区高级会员 李祥 教授、贵州大学博士生导师 国务院特殊津贴专家 贵州省省管专家 贵州大学计算机软件与理论博士点领衔导师 全国计算机理论专业委员会副主任 中国密码学会理事 美国数学评论、德国数学评论的评论员 研究方向：可计算理论、密码学、网络安全等

谢晓尧 博士，贵州师范大学教授、硕士生导师 中国密码学会云贵地区高级会员 谢晓尧 博士，贵州师范大学教授、硕士生导师 致公党主委 贵州省政协副主席 贵州师范大学副校长 中国计算机学会微机专业委员会委员 全国高校计算机教学研究会理事 贵州自动化学会副会长 研究方向：信息安全，计算机网络，数据通信等

研究方向：密码学与信息安全、电子商务协议与安全、电子政务安全、管理管理信息系统 中国密码学会云贵地区高级会员 彭长根 博士，贵州大学教授、硕士生导师 贵州大学理学院党委委员 贵州大学数学系副主任 贵州省计算机学会理事 贵州大学理学院教学委员会委员 计算机软件与理论专业硕士点负责人 “211工程建设项目”—— 密码学与安全计算平台团队负责人 研究方向：密码学与信息安全、电子商务协议与安全、电子政务安全、管理管理信息系统

王林 法国波尔多第三大学博士,贵州民族学院教授、硕士生导师 中国密码学会云贵地区高级会员 王林 法国波尔多第三大学博士,贵州民族学院教授、硕士生导师 贵州民族学院教务处处长 贵州省计算机学会理事 研究方向：计算机数学图象处理、模式识别

贵州财经学院“计算机应用技术”重点学科带头人 中国密码学会云贵地区高级会员 文静华 博士 贵州财经学院教授，硕士生导师 贵州财经学院信息学院副院长 贵州财经学院“计算机应用技术”重点学科带头人 贵州省计算机学会理事 中国青联IT分会委员 研究方向：信息安全、密码协议分析、电子商务安全

曹斌 博士 贵阳铝镁设计院研究员、贵州大学硕士生导师 中国密码学会云贵地区高级会员 曹斌 博士 贵阳铝镁设计院研究员、贵州大学硕士生导师 贵阳铝镁设计院副总工 北京京伦律师事务所执业律师 贵州力源液压股份有限公司二届董事会董事 科研方向：通信网络与信息安全、计算机网络技术

罗文俊 博士 重庆邮电大学教授,硕士生导师 贵州大学硕士生导师 中国密码学会云贵地区高级会员 罗文俊 博士 重庆邮电大学教授,硕士生导师 贵州大学硕士生导师 重庆邮电大学信息安全 教学研究部负责人 研究方向：计算机密码算法、安全协议、现代近似算法等

研究方向：无线与移动网络、密码学与信息安全、协议分析与模型检测、逻辑学及其应用 中国密码学会云贵地区高级会员 汪学明 博士 贵州大学教授，硕士生导师 中国致公党贵州省委参政议政专委会委员 全国计算机网络教育研究会理事 贵州省计算机学会理事 贵州省逻辑教学研究会常务副会长 贵州制约逻辑学会常务副理长 研究方向：无线与移动网络、密码学与信息安全、协议分析与模型检测、逻辑学及其应用

中国密码学会云贵地区普通会员 姓名 性别 工作单位 职称 技术/行政职称 所学专业 从事密码 研究时间 龙士工 男 贵州大学 副教授 - 计算机软件与理论 6年 张晓培 讲师 4年 万良 教研室主任 樊玫玫 女 3年 于徐红 贵州师范大学 计算机网络 王寅庆 李芸波 昆明理工大学 计算机应用技术 田江 中铝贵阳铝镁设计研究院 研究员 信息主管 计算机科学 熊文灿 贵州省公安厅 高级工程师 副处长 信息工程 刘 杰 贵州警官职业学院 中级 科级 计算机应用用 7年 刘 枧 副主任 数学 邓从政 贵州省凯里学院 应用数学 缪祥华 交通信息工程及控制 16年

中国密码学会云贵地区学生会员 姓名 性别 毕业院校 所学专业 从事密码研究时间 仇细平 女 昆明理工大学 计算机软件与理论 - 杨晓婕 -　 杨晓婕 苏云玲 5年 王平 男 赵勇超 计算机应用 祝德红 白金山 贵州大学 4年 李均涛 3年 徐洋

贵州大学简介 百余年历程 贵州大学 贵州大学堂 办学根本 兴学育人 立足贵州 服务地方 办学精神 艰苦奋斗 自强不息 校训 2005年 批准为“211工程”大学 2004年 与贵州工业大学合并 成为省部共建高校 1950年 贵州大学 1902年 贵州大学堂 办学根本 兴学育人 立足贵州 服务地方 艰苦奋斗 自强不息 办学精神 校训 明德至善 博学笃行 校风 严谨 勤奋 求实 创新

贵州大学简介 教学规模 本专科生 48796人 在校学生 研究生 6855人 留学生 183人 师资队伍 成人本专科生11511人 教授 338人 副教授 860人 中国工程院院士 1人 长江学者 1人 百千万人才工程专家 4人 国家有突出贡献中青年专家 4人 教育部新世纪优秀科技人才 8人 贵州省核心专家 6人 贵州省省管专家 56人 贵州省优秀青年科技人才 54人 贵州省教学名师 25人 师资队伍 在校学生 本专科生 48796人 研究生 6855人 留学生 183人 成人本专科生11511人 教学组织 24个学院 2个公共教学部 133个本科专业 11个学科门类

贵州大学简介 学科建设 科研机构 国家级重点学科 1个 国家工程技术研究中心 1个 省级重点学科 24个 国家地方联合工程实验室 1个 国家级重点学科 1个 省级重点学科 24个 博士后科研流动站 3个 一级学科博士点 11个 二级学科博士点 36个 一级学科硕士点 56个 二级学科硕士点 201个 专业硕士学位点 10个 国家工程技术研究中心 1个 国家地方联合工程实验室 1个 国家级教学基地及示范点 5个 教育部重点实验室(中心) 5个 省级重点实验室(中心) 34个 省级人文社科研究基地 4个 计算机软件与理论是贵州省最早的2个博士点之一 数学专业是2011年新获批的一级博士点之一

贵州大学简介 承担科研项目 学术论文与专著 国家“973”项目 “863”项目 国家自然科学基金 国家社会科学基金 其他省部级以上项目 1769项 省部级项目 1530项 国家科技进步二等奖 2项 获省部级三等奖 249项 专利、实用新型授权 142项 出版学术专著 375部 发表学术论文 14994篇 SCI、EI、ISTP收录 861篇 317项 科研经费累计达6.03亿元 2006年获“全国高校科技创新先进单位”称号

历史足迹 贵州大学数学系简介 数学专业 （1942） 应用数学 硕士点 （2000） 基础数学 硕士点 （1983） 数学一级学科 硕士点 （2006） 数学一级学科 博士点 （2011） 运筹学与控制论 硕士点（1998） 基础数学 硕士点 （1983） 1995年开始与浙江大学 联合培养应用数学博士生 1998年与泰国 苏兰拉里理工大学 联合培养博士生 数学专业 （1942） 2004年中科院联合培养 管理学博士生 “211”工程建设 子项目（2005） “211工程”第三期 建设项目（2008） 贵州省省级 重点学科基础数学 （2000）

贵州大学数学系简介 学术论文 学术队伍 承担项目 2005年以来 国家自然科学基金项目 23项 教 授 22人 省重大基础研究项目 2 项 SCI、EI、ISTP检索刊物发表论文160余篇 核心期刊以上刊物发表论文 280 余篇 2005年以来 国际学术交流 学术队伍 教 授 22人 副教授 24 人 贵州省省管专家 1人 博士生导师 1人 具有博士学位教师1人 承担项目 项目总经费 1082万元 其中纵向项目经费 895万元 国家自然科学基金项目 23项 教育部重点项目 2 项 航天科工集团项目 4项 国际合作项目 3项 省重大基础研究项目 2 项

彭长根 教授, 应用数学、计算机软件与理论专业硕士生导师 “211工程建设项目”－密码学与安全计算平台团队 负 责 人 彭长根 教授, 应用数学、计算机软件与理论专业硕士生导师 研究领域 分布式网络环境的群组密码技术 电子政务与电子商务安全 密码算法设计与实现 支撑学科 数学一级学科博士点、计算机软件与理论博士点

“211工程建设项目”－密码学与安全计算平台团队 主持国家自然科学基金“分布式密码系统中的基础协议与公平性研究” 1 团队负责人彭长根承担项目 主持贵州省高层次人才科研条件特助经费项目：“群组密码技术及其在信息化建设中的应用研究” 2 主持2009年贵州省自然科学基金项目： “分布式网络环境下群组密码技术的若干方法研究” 3 4 主持贵州省自然科学基金项目： “基于椭圆曲线密码体制的门限签密研究” 5 主持贵州大学博士基金项目： “分布式密码系统的基础问题研究” 6 参与教育部博士点基金项目: “密码学中的随机算法理论联系及其应用研究”

贵州大学计算机软件与理论研究所 历史 理念 科研成果 1995年获计算机工学 发表了多篇高水平 学位授予权 重视基础理论研究 学术论文 2000年获博士学位 授予权 1995年获计算机理学 理念 重视基础理论研究 注重理论实践相结合 科研成果 发表了多篇高水平 学术论文 承担过国家自然科学 基金项目863项 20项科研成果获得 省部级科技进步奖

贵州大学计算机软件与理论研究所 教师团队 学生团队 白金山 李均涛 学术带头人 李 祥教授 关 维 宋 歌 学生团队 席 睿 付春海 学术带头人 李 祥教授 关 维 宋 歌 学生团队 席 睿 付春海 主要负责人 彭长根教授 彭延国 冯 蕾 丁红发 杨 震 负责人 罗文俊教授 符祖峰 童 玲 负责人 汪学明教授 伍瑞芳 翁立晨 董玉蓉 王扣武 负责人 龙士工教授 王利军 伍 岳 杨 阳 白圣广 万良博士 刑 超 冯 君 张晓培博士

贵州大学计算机软件与理论研究所 研究方向 研究成果 计算复杂性 计算机算法 嵌入式系统 可计算性 安全协议 网络安全 网络通信 信息家电 密码学 研究成果 在核心期刊以上刊物发表论文 230 余篇； 在SCI、EI，ISTP检索刊物发表论文 50 余篇。

贵州大学计算机软件与理论研究所 在 李祥 教授的带领下，主持召开了多次国内国际学术会议： 中日密码研讨会 中美递归论研讨会 国际知识工程与模糊控制会 中日密码研讨会 计算机软件与理论研究所 全国计算机理论会议 全国计算机系统软件会议 软件新技术国际讨论会

贵州大学计算机软件与理论研究所 在 李祥 教授的带领下，培育出一批又一批的优秀人才： 他们的执着和无怨无悔,使贵州大学计算机软件与理论研究所在传承中不断积累,并呈现出前所未有的发展势头

地址：贵阳市乌当区行政中心内（航天大道1号） 邮编：550018 网址：http://www.gzgyca.com 贵阳数字证书认证中心 贵阳数字证书认证中心（简称“贵阳CA”）是我省经政府批复成立的专业合法从事电子认证和服务的第三方机构，中心的成立标志着我省网络信任体系基础设施正式建成。 贵阳CA主要负责数字证书的申请、签发、制作、认证、管理和服务，立足贵阳覆盖全省，为我省电子政务、电子商务提供统一的身份认证机制，确保网上信息在产生、存储、传输和处理过程中的完整性、保密性、抗抵赖性和可用性。 地址：贵阳市乌当区行政中心内（航天大道1号） 电话：0851-6402317 6402316传真：0851-6402552 邮编：550018 网址：http://www.gzgyca.com