个人简介

招生专业 083900-网络空间安全 招生方向 密码协议理论与技术，云计算安全理论与技术 教育背景 1998-03--2001-04西北工业大学博士研究生 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,延安大学,学生 教授课程 安全协议 密码协议 安全性归约证明-基础与方法 安全协议与形式化方法 安全协议与形式化分析 密码协议理论 密码协议专题讨论 理论密码学