中国科学院信息工程研究所 李红达 男 博导
作者：科大科院考研网 发表时间：2019-12-26 来源：研招办
科院考研推荐链接：
研究领域
招生信息
招生专业
083900-网络空间安全
招生方向
密码协议理论与技术，云计算安全理论与技术
教育背景
1998-03--2001-04 西北工业大学 博士研究生
1987-09--1990-05 北京科技大学 硕士研究生
1980-09--1984-06 延安大学 学生
1987-09--1990-05 北京科技大学 硕士研究生
1980-09--1984-06 延安大学 学生
学历
学位
工作经历
工作简历
2012-01~现在, 中国科学院信息工程研究所, 研究员
2003-07~现在, 中科院研究生院DCS中心, 教授
2001-07~2003-06,中科院研究生院信息安全国家重点实验室, 博士后
1998-03~2001-04,西北工业大学, 博士研究生
1990-06~1998-02,延安大学, 教师
1987-09~1990-05,北京科技大学, 硕士研究生
1984-07~1987-08,延安大学, 教师
1980-09~1984-06,延安大学, 学生
2003-07~现在, 中科院研究生院DCS中心, 教授
2001-07~2003-06,中科院研究生院信息安全国家重点实验室, 博士后
1998-03~2001-04,西北工业大学, 博士研究生
1990-06~1998-02,延安大学, 教师
1987-09~1990-05,北京科技大学, 硕士研究生
1984-07~1987-08,延安大学, 教师
1980-09~1984-06,延安大学, 学生
社会兼职
2015-11-01-2018-05-31,中国保密协会隐私保护专业委员会, 委员
2014-05-18-2018-05-18,中国密码学会安全协议专业委员会, 委员
2014-05-18-2018-05-18,中国密码学会安全协议专业委员会, 委员
教授课程
安全协议
密码协议
安全性归约证明-基础与方法
安全协议与形式化方法
安全协议与形式化分析
密码协议理论
密码协议专题讨论
理论密码学
