个人简介
招生专业
081203-计算机应用技术
招生方向
数据库技术
数据库技术
工作经历
2003.3—现在 中国科学院研究生院信息学院任教。
2000.2—2003.2 中国科学院研究生院信息安全国家重点实验室攻读博士学位， 研究方向为信息安全。
1989.10—2000.1 东方电子集团公司研究所从事软件设计和开发。
教授课程
数据库新技术
计算机系统中的模拟和模型方法
互联网级分布式系统服务与计算
数据库技术
计算机系统性能评价
计算机系统的模型和模拟方法
文献阅读课
软件理论基础
主持和参加的科研项目
[1] 2001年—2002年，参加国家重点基础研究发展规划（973）项目：信息安全
中关键芯片设计及其基础研究(编号为：G1999035806)（2000.3---2002.3）；
[2] 参加国家高技术研究发展计划（863）项目：高速率数字物理噪声源的设计与
芯片集成（编号为：2002AA141041）（2002.6---2004.6）；
[3] 2005年—2007年，主持Petri网和公理化系统的协议形式化分析方法研究：中
科院研究生院2005年院长基金（O55001G）；
[4] 2001年—2004年，主持国家密码办公室立项课题：SSX09芯片（2M数字物理
噪声源）研究和开发工作；
[5] 2005年—2008年，主持北京市病毒性肝炎临床诊断及治疗的一体化研究（编
号H020920020091）中数学模型的建立；
[6] 2009年—2013年，主持 企业联合项目，校园网基础数据库建设（编号为
Y0410341G2）；
[7] 2011年—2013年， 主持基于有色petri模型的安全协议分析方法研究 中国科
学院研究生院院长2011年院长基金 （编号为Y15102HN00）
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） Research on the Application of Fuzzy Petri Net in Personalized Education, CDMMS2017, 2017, 第 2 作者
（2） A Latent Space Perturbation Algorithm for Boolean Matrix Completion based on Weighted Frobenius Norm, BESC'2016, 2016, 第 2 作者
（3） A simple and effective saliency detection approach, A simple and effective saliency detection approach, 21st International Conference on Pattern Recognition, 2013, 第 2 作者
（4） 一种含时间因素的安全协议形式化分析方法, A FoI AL ANALYSIS METHoD FOR SECURITY PRoToCoLS INCLUDING, 计算机应用与软件, 2013, 第 2 作者
（5） 一种适于带时间戳安全协议的形式化分析方法, 计算机工程与应用, 2012, 第 2 作者
（6） 基于排队网络模型的数据库系统瓶颈问题研究, 微电子学与计算机, 2012, 第 2 作者
（7） 基于CPN模型的不可否认协议分析, 信息安全与保密, 2011, 第 1 作者
（8） 一种基于有色Petri网的安全协议分析方法研究, 微型机与应用, 2011, 第 1 作者
（9） 模型驱动的构件组装的研究与实现, 计算机系统应用, 2009,
（10） 特定领域建模与代码生成的研究与实现, 计算机系统应用, 2009,
（11） 一种双向一次性口令身份认证方案的设计, 计算机应用, 2008,
（12） Spring Acegi 的 安全应用与扩展, 计算机应用与软件, 2008,
（13） 一种基于整数小波变换的图像盲数字水印算法, 计算机工程与设计,2008,11, 29 (21), 2008,
（14） FID生猪管理解决方案, 计算机应用研究, 2007,
（15） 密码技术中一种随机数检验方法的设计与实现, 微电子学与计算机, 2006,
（16） 无线网络及其安全性, 计算机工程, 2006,
（17） 一种信息安全系统中序列随机性检验方法, 计算机工程, 2006,
（18） 信息安全系统中一种实用的随机数产生方法 , 计算机应用, 2005,
（19） 基于Domino平台的工作流设计与实现, 计算机工程, 2005,
（20） Hash函数在信息安全中随机序列发生器中的应用 , 计算机工程与应用, 2005,
（21） 基于微机噪声产生随机序列的方法的研究, 高科技通讯, 2005,
（22） Fourier分析理论在随机序列发生器中的应用, 计算机工程与应用, 2005,
（23） 安全协议分析语言CPAL的缺陷, 微电子学与计算机, 2005,
（24） 信息安全系统中一种高速随机序列发生器的设计实现, 小型微型计算机系统, 2004,
（25） Fourier变换在信息安全中随机数发生器中的应用, 计算机工程, 2003,
（26） 计算机安全系统中随机序列发生器的研究, 计算机研究与发展, 2003,
国际会议论文
[1] Intrusion detection system for signal based SIP attacks through timed HCPN IEEE Proceedings - Second International Conference on Availability, Reliability and Security, ARES 2007:190-197, (EI检索).
[2]. An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets. Proceedings of IEEE International Symposium on High Assurance Systems Engineering, 2008:457-460, Proceedings -11th IEEE High Assurance Systems Engineering Symposium, HASE 2008(EI 检索).
[3] A General Model Checking Method of Electronic Transaction Protocols Using Colored Petri Nets.Proceedings of IEEE 9th International Conference on Hybrid Intelligent Systems, HIS 2009, v 2, 2009:298-303(EI 检索).
[4] A Reduction Method for Verification of Security Protocol through CPN. Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, ICNSC, 2008:73-77(EI 检索).
[5] SIP for Mobile Networks and Security Model. IEEE Proceeding of International Conference on Wireless Communications, Networking and Mobile Computing, 2007:1809-1812 (EI 检索).
[6] Considering Time in Formal Analysis of Security Protocols Using Colored Petri Nets. IEEE Proceedings of 2008 International Conference on Embedded Software and Systems Symposia, ICESS Symposia, 2008:63-68.
[7] Design of Two-Way One-Time-Password Authentication Scheme Based on True Random Numbers. IEEE Proceeding of 2nd International Workshop on Computer Science and Engineering (WCSE 2009),2009,Vol.I:11-14 EI 检索).
京公网安备 11010802027423号