Transcript 计算机软件与理论
• 强志军 国家密码管理局商用密码管理办公室副主任、 中国密码学会秘书长 • 何大可 中国密码学会副理事长、教授 • 谢晓尧 贵州省政协副主席、贵州师范大学副校长、教授 • 李跃文 贵州省密码管理局局长 • 宋宝安 贵州大学党委常委、副校长、教授 • 李 祥 贵州大学名誉校长、中国密码学会理事、教授、高级会员 • 马建峰 长江学者特聘教授、计算机网络与信息安全教育部重点 实验室主任、西安电子科技大学计算机学院院长、教授 • 郑智捷 云南大学软件学院信息安全系主任、教授、高级会员 • 向淑文 贵州大学校长助理、教务处处长、教授 • 陈 灏 中国密码学会办公室主任 • 任中伟 贵州省密码管理局办公室主任 • 许亚萍 贵州省密码管理局密码管理处处长 • 杜培术 贵州省科协学会部部长 • 韦 维 贵州大学理学院院长、教授 • 许道云 贵州大学计算机科学与信息学院院长、教授 • • • • • • • • • • • • • • 骆长江 郭 兰 罗卫刚 李秦伟 曾湘黔 张 弘 杨 华 彭长根 王 林 文静华 杨世平 曹 斌 罗文俊 汪学明 贵州大学党委办公室主任 贵州大学科技处副处长 贵州大学党委办公室副主任 贵州大学计算机科学与信息学院副院长、教授 贵州大学职业技术学院副院长、副教授 贵州三超企业总经理 贵阳数字证书认证中心副主任 贵州大学理学院党委委员、数学系副主任、教授、高级会员 贵州民族学院教务处处长、教授、高级会员 贵州财经学院信息学院常务副院长、教授、高级会员 贵州大学明德学院副院长、教授、高级会员 贵州中铝贵阳铝镁设计院副总工程师、研究员、高级会员 重庆邮电大学信息安全教学部主任、教授、高级会员 贵州大学计算机科学与技术学院、教授、高级会员 会议报告顺序 午别 序号 上午 下午 报告题目 报告人 1 全民信息安全 何大可 2 信息安全保障与密码学 马建峰 3 分布式密码系统的相关问题 彭长根 4 在密码分析和设计中应用新型逻辑面对的机会和挑战 ——从现代密码发展角度观察变值逻辑体系 郑智捷 1 贵州数字认证与服务 杨华 2 安全电子商务行为分析技术 文静华 3 重庆邮电大学信息安全专业提升工作汇报 罗文俊 4 基于ATL逻辑的多方公平交换协议形式化分析 汪学明 5 基于等价理论的安全协议分析方法研究 缪祥华 6 离散对数问题解决后的密码体制 李志敏 7 安全协议形式化分析技术及研究方向 龙士工 8 未来网络与密码 袁科 9 多属性群决策理论信息安全风险评估方法研究 唐作其 报告人 何大可 教授 国家高性能计算中心（成都）主任 “信息安全与国家计算网格实验室”主任 中国密码学会副理事长、学术委员会委员 信息安全国家重点实验室第四届学术委员会委员 全国并行计算专业委员会委员 中国电子学会高级会员 研究领域 密码学，移动通信系统安全，信息系统安全工程， 并行计算，应用数学 领域建树 曾获陕西省及国家教委科技进步二等奖、国家自然科学四等奖，铁道部 科技进步三等奖、詹天佑人才奖 合作专著《保密学——基础与应用》获第三届全国工科电子类专业 优秀教材一等奖 密码发明专利、编码发明专利各一项，其他专利或专利申请数项 报 告 人 马 建 峰 教 授 西安电子科技大学特聘教授，博士生导师 西安电子科技大学计算机学院院长 计算机网络与信息安全教育部/信息产业部 重点实验室主任 陕西省优秀留学回国人员 中国密码学会常任理事 入选教育部千百人才计划 2010年被评为长江学者特聘教授 研究领域：系统安全、密码技术、无线/移动安全 近期部分科研项目: 国家自然科学基金项目“自组织可重构的空间信息网安全组网技术研究” 国家自然科学基金项目 “可证安全的多方安全协议的分析与设计” 国家自然科学基金-重大研究计划“容忍入侵的入侵检测模型与检测 方法研究” 报告人 彭长根 教授 博士，贵州大学教授 贵州大学理学院党委委员、数学系副主任 贵州省计算机学会理事 中国密码学会高级会员 计算机软件与理论专业硕士点负责人 研究方向 密码学与信息安全 国家自然科学基金项目1项 主 持 项 目 贵州省高层次人才项目1项 发表论文近 30 篇 SCI或EI收录 核心以上期 9篇 13篇 贵州省科学技术基金项目2项 其它省部或地厅级项目3项 以第二主持人参与省部级以上项目7项 报告人 郑智捷 教授 云南大学教授 澳大利亚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次，主办“全国性逻辑系统、智能科 学 报告人 缪祥华 李志敏 缪祥华 昆明理工大学，博士 研究方向：信息安全理论与技术、密码学、安全协议的形式化分析、安全协 议的形式化设计以及数字签名。近几年共发表论文 16 篇（第一作者 12 篇） 科研工作 主持过基于 B/S 模式的消防信息系统的开发 主持过云南省检察院综合信息系统的开发 主持过基于 J-Mail 的邮件系统的开发 参与了中国电子科技集团公司第 30 所的项目“ NTRU 公钥密码体制的安全 性分析” 李志敏 孝感学院，博士，曾任日本京都产业大学理学部客座研究员 主要研究方向：计算复杂性理论、智能计算与控制、安全电子商务协议 分析与设计、图像处理与模式识别 参与了多项国家级和省级自然科学基金项目 在《数学学报》等国家权威期刊和国际会议上发表论文10余篇，其中被 EI、ISTP检索3篇 报告人 龙士工 袁科 唐作其 龙士工 袁科 唐作其 贵州大学，副教授，博士， 发表论文20余篇 铜仁学院，讲师 贵州大学，讲师，发表论 文数篇 中国密码学会概况 学会成立时间 2007年3月25日 会 徽 学会级别 国家一级学会 学会成员 从事密码学术研究的知名专家、学者和 部分大专院校、科研院所、研究团队 学会宗旨 • • • • • 遵守国家宪法、法律、法规和政策，维护国家利益和安全 坚持实事求是，倡导自主创新 发扬学术民主，开展学术自由讨论 尊重知识、尊重人才，为广大会员和密码科技工作者服务 团结全国密码工作者为促进密码学发展及密码学人才的成 长贡献力量 中国密码学会组织 名誉理事长: 王 元 万哲先 中国科学院 中国科学院 院士 院士 名誉理事: 肖国镇 西安电子科技大学教授 王育民 西安电子科技大学教授 理事长: 裴定一 副理事长: 冯登国 何大可 秘书长: 强志军 常务理事（按姓氏笔画排 列）： 王小云 冯登国 何大可 杨义先 张焕国 陈克非 马建峰 徐茂智 强志军 裴定一 理事（按姓氏笔画排列）： 马建峰 冯克勤 刘木兰 杨义先 张方国 赵战生 卿斯汉 符方伟 裴定一 王 杰 王小云 文华英 冯登国 朱 洪 刘建伟 严 新 李 宝 李 祥 吴文玲 吴成贵 何大可 张焕国 陈弘毅 陈克非 胡予璞 徐茂智 徐秋亮 黄月江 曹珍富 崔国华 彭国华 韩正甫 强志军 魏仕民 中国密码学会云贵地区高级会员 李祥 教授、贵州大学博士生导师 国务院特殊津贴专家 贵州省省管专家 贵州大学计算机软件与理论博士点领衔导师 全国计算机理论专业委员会副主任 中国密码学会理事 美国数学评论、德国数学评论的评论员 研究方向：可计算理论、密码学、网络安全等 中国密码学会云贵地区高级会员 谢晓尧 博士，贵州师范大学教授、硕士生导师 致公党主委 贵州省政协副主席 贵州师范大学副校长 中国计算机学会微机专业委员会委员 全国高校计算机教学研究会理事 贵州自动化学会副会长 研究方向：信息安全，计算机网络，数据通信等 中国密码学会云贵地区高级会员 彭长根 博士，贵州大学教授、硕士生导师 贵州大学理学院党委委员 贵州大学数学系副主任 贵州省计算机学会理事 贵州大学理学院教学委员会委员 计算机软件与理论专业硕士点负责人 “211工程建设项目”—— 密码学与安全计算平台团队负责人 研究方向：密码学与信息安全、电子商务协议与安全、 电子政务安全、管理管理信息系统 中国密码学会云贵地区高级会员 王林 法国波尔多第三大学博士,贵州民族学院教授、硕士生导师 贵州民族学院教务处处长 贵州省计算机学会理事 研究方向：计算机数学图象处理、模式识别 中国密码学会云贵地区高级会员 文静华 博士 贵州财经学院教授，硕士生导师 贵州财经学院信息学院副院长 贵州财经学院“计算机应用技术”重点学科带头人 贵州省计算机学会理事 中国青联IT分会委员 研究方向：信息安全、密码协议分析、电子商务安全 中国密码学会云贵地区高级会员 曹斌 博士 贵阳铝镁设计院研究员、贵州大学硕士生导师 贵阳铝镁设计院副总工 北京京伦律师事务所执业律师 贵州力源液压股份有限公司二届董事会董事 科研方向：通信网络与信息安全、计算机网络技术 中国密码学会云贵地区高级会员 罗文俊 博士 重庆邮电大学教授,硕士生导师 贵州大学硕士生导师 重庆邮电大学信息安全 教学研究部负责人 研究方向：计算机密码算法、安全协议、现代近似算法等 中国密码学会云贵地区高级会员 汪学明 博士 贵州大学教授，硕士生导师 中国致公党贵州省委参政议政专委会委员 全国计算机网络教育研究会理事 贵州省计算机学会理事 贵州省逻辑教学研究会常务副会长 贵州制约逻辑学会常务副理长 研究方向：无线与移动网络、密码学与信息安全、协议分析 与模型检测、逻辑学及其应用 中国密码学会云贵地区普通会员 姓名 性别 工作单位 职称 技术/行政 职称 所学专业 从事密码 研究时间 龙士工 男 贵州大学 副教授 - 计算机软件与理论 6年 张晓培 男 贵州大学 讲师 - 计算机软件与理论 4年 万良 男 贵州大学 讲师 教研室主任 计算机软件与理论 4年 樊玫玫 女 贵州大学 讲师 - 计算机软件与理论 3年 于徐红 女 贵州师范大学 讲师 - 计算机网络 4年 王寅庆 男 贵州师范大学 讲师 - 计算机软件与理论 6年 李芸波 女 昆明理工大学 讲师 - 计算机应用技术 - 田江 男 中铝贵阳铝镁设计研 究院 研究员 信息主管 计算机科学 6年 熊文灿 男 贵州省公安厅 高级工程 师 副处长 信息工程 6年 刘 杰 男 贵州警官职业学院 中级 科级 计算机应用用 7年 刘 枧 男 贵州警官职业学院 副教授 副主任 数学 3年 邓从政 男 贵州省凯里学院 讲师 - 应用数学 7年 缪祥华 男 昆明理工大学 副教授 - 交通信息工程及控制 16年 中国密码学会云贵地区学生会员 姓名 性别 毕业院校 所学专业 从事密码研 究时间 仇细平 女 昆明理工大学 计算机软件与理论 - 杨晓婕 女 昆明理工大学 计算机软件与理论 - 苏云玲 女 昆明理工大学 计算机软件与理论 5年 王平 男 昆明理工大学 计算机软件与理论 5年 赵勇超 男 昆明理工大学 计算机应用 5年 祝德红 女 昆明理工大学 计算机软件与理论 5年 白金山 男 贵州大学 计算机软件与理论 4年 李均涛 男 贵州大学 计算机软件与理论 3年 徐洋 男 贵州大学 计算机软件与理论 4年 贵州大学简介 百余年历程 与贵州工业大学合并 成为省部共建高校 贵州大学 贵州大学堂 批准为“211工程”大学 2005年 2004年 1950年 1902年 办学根本 办学精神 校训 校风 兴学育人 立足贵州 服务地方 艰苦奋斗 自强不息 明德至善 博学笃行 严谨 勤奋 求实 创新 贵州大学简介 教学规模 在 校 学 生 教授 338人 本专科生 48796人 副教授 860人 研究生 6855人 中国工程院院士 1人 留学生 183人 长江学者 1人 百千万人才工程专家 4人 成人本专科生11511人 教 学 组 织 师 资 队 伍 国家有突出贡献中青年专家 4人 教育部新世纪优秀科技人才 8人 24个学院 贵州省核心专家 6人 2个公共教学部 贵州省省管专家 56人 133个本科专业 贵州省优秀青年科技人才 54人 11个学科门类 贵州省教学名师 25人 贵州大学简介 科研机构 学科建设 国家级重点学科 省级重点学科 1个 国家工程技术研究中心 1个 24个 国家地方联合工程实验室 1个 博士后科研流动站 3个 国家级教学基地及示范点 5个 一级学科博士点 11个 二级学科博士点 36个 一级学科硕士点 56个 二级学科硕士点 201个 专业硕士学位点 教育部重点实验室(中心) 省级重点实验室(中心) 省级人文社科研究基地 10个 计算机软件与理论是贵州省最早的2个博士点之一 数学专业是2011年新获批的一级博士点之一 5个 34个 4个 贵州大学简介 承担科研项目 国家“973”项目 “863”项目 学术论文与专著 国家科技进步二等奖 2项 获省部级三等奖 249项 专利、实用新型授权 142项 出版学术专著 375部 其他省部级以上项目 1769项 发表学术论文 14994篇 省部级项目 SCI、EI、ISTP收录 国家自然科学基金 国家社会科学基金 317项 1530项 2006年获“全国高校科技创新先 进单位”称号 861篇 科研经费累计达6.03亿元 贵州大学数学系简介 历史足迹 应用数学 硕士点 （2000） 数学一级学科 硕士点 （2006） 数学一级学科 博士点 （2011） 运筹学与控制论 硕士点（1998） 基础数学 硕士点 （1983） 数学专业 （1942） 贵州省省级 重点学科基础数学 （2000） 1995年开始与浙江大学 联合培养应用数学博士生 1998年与泰国 苏兰拉里理工大学 联合培养博士生 “211”工程建设 子项目（2005） “211工程”第三 期 建设项目（2008） 贵州大学数学系简介 学术论文 2005年以来 核心期刊以上刊物 发表论文 280 余篇 SCI、EI、ISTP检 索刊物发表论文160 余篇 国际学术交流 承担项目 学术队伍 授 22人 国家自然科学基金项目 23项 副教授 24 人 省重大基础研究项目 2项 教育部重点项目 2项 航天科工集团项目 4项 国际合作项目 3项 教 贵州省省管专家 1人 博士生导师 1人 具有博士学位教师1人 项目总经费 1082万元 其中纵向项目经费 895万元 “211工程建设项目”－密码学与安全计算平台团队 负 责人 彭长根 教授, 应用数学、计算机软件与理论专业硕士生导师 研究领域 分布式网络环境的群组密码技术 电子政务与电子商务安全 密码算法设计与实现 支撑学科 数学一级学科博士点、计算机软件与理论博士点 “211工程建设项目”－密码学与安全计算平台团队 团 队 负 责 人 1 2 彭 长 根 3 4 承 担 项 目 5 6 主持国家自然科学基金“分布式密码 系统中的基础协议与公平性研究” 主持贵州省高层次人才科研条件特助经费项目： “群组密码技术及其在信息化建设中的应用研究” 主持2009年贵州省自然科学基金项目： “分布式网络环境下群组密码技术的若干方法研究” 主持贵州省自然科学基金项目： “基于椭圆曲线密码体制的门限签密研究” 主持贵州大学博士基金项目： “分布式密码系统的基础问题研究” 参与教育部博士点基金项目: “密码学中的随机算法理论联系及其应用研究” 贵州大学计算机软件与理论研究所 历史 理念 科研成果 1995年获计算机工学 学位授予权 重视基础理论研究 发表了多篇高水平 学术论文 1995年获计算机理学 学位授予权 注重理论实践相结合 2000年获博士学位 授予权 承担过国家自然科学 基金项目863项 20项科研成果获得 省部级科技进步奖 贵州大学计算机软件与理论研究所 教师团队 学术带头人 李 学生团队 祥教授 主要负责人 彭长根教授 负责人 罗文俊教授 负责人 汪学明教授 负责人 龙士工教授 万良博士 张晓培博士 学 生 团 队 白金山 关 维 席 睿 彭延国 丁红发 符祖峰 伍瑞芳 董玉蓉 王利军 杨 阳 刑 超 李均涛 宋 歌 付春海 冯 蕾 杨 震 童 玲 翁立晨 王扣武 伍 岳 白圣广 冯 君 贵州大学计算机软件与理论研究所 研究方向 密 码 学 可 计 算 性 安 全 协 议 网 络 安 全 网 络 通 信 信 息 家 电 计 算 复 杂 性 研究成果 在核心期刊以上刊物发表论文 230 余篇； 在SCI、EI，ISTP检索刊物发表论文 50 余篇。 计 算 机 算 法 嵌 入 式 系 统 贵州大学计算机软件与理论研究所 在 李祥 教授的带领下，主持召开了多次国内国际学术会议： 中日密码研 讨会 中美递归论研 讨会 计算机软件与 理论研究所 国际知识工程 与模糊控制会 软件新技术 国际讨论会 全国计算机理 论会议 全国计算机系 统软件会议 贵州大学计算机软件与理论研究所 他们的执着和无怨无悔,使贵 州大学计算机软件与理论研 究所在传承中不断积累,并呈 现出前所未有的发展势头 贵阳数字证书认证中心 贵阳数字证书认证中心（简称“贵阳CA”）是我省经政 府批复成立的专业合法从事电子认证和服务的第三方机构， 中心的成立标志着我省网络信任体系基础设施正式建成。 贵阳CA主要负责数字证书的申请、签发、制作、认证、 管理和服务，立足贵阳覆盖全省，为我省电子政务、电子 商务提供统一的身份认证机制，确保网上信息在产生、存 储、传输和处理过程中的完整性、保密性、抗抵赖性和可 用性。 地址：贵阳市乌当区行政中心内（航天大道1号） 电话：0851-6402317 6402316传真：0851-6402552 邮编：550018 网址：http://www.gzgyca.com