信息安全 数据库技术

   

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 检索).

已指导学生

万华旭  硕士研究生  081203-计算机应用技术  

丁燕岚  硕士研究生  081220-信息安全  

徐萌  硕士研究生  081203-计算机应用技术  

魏晋  硕士研究生  081203-计算机应用技术  

李斌臣  硕士研究生  081203-计算机应用技术  

张辉  硕士研究生  081203-计算机应用技术  

何柳  硕士研究生  081203-计算机应用技术  

熊威  硕士研究生  081203-计算机应用技术  

冷骞  硕士研究生  085211-计算机技术  

王智一  硕士研究生  085211-计算机技术  

陶飞  硕士研究生  085211-计算机技术  

陈扬羽  硕士研究生  0812Z1-信息安全  

戴君义  硕士研究生  085211-计算机技术  

现指导学生

熊翼  硕士研究生  085211-计算机技术  

聂瑜  硕士研究生  085211-计算机技术  

姜翀  硕士研究生  085211-计算机技术