Information security
Database technology

-- Ph.D.

   

2003.3---   Graduate University  of Chinese Academy of Sciences,  teacher
2000.3---  2003.2 Graduate University of Chinese Academy of Sciences,doctor
1999.9---2000.2  Dongfangl Electronics Group ,engineer

Database Technology
Computer system performance evaluation
Software Theory

   

[1]Design and Im plementation of a High Speed Random Sequence Generators of Information Security System    MINI M ICRO SYSTEMS  .Vol.(4) p519-521
[2]2 Study of Random Sequence Generators of a Com puter Security System
          JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT  Vol.40(7), P994-1000
[3]Research on Common Security Protocol Analysis Language CPAL
           MICROELECTRONICS & COMPUTER   Vol.22（11）  P.41-44...
[4]Application of Wavelet Analysis in Random Number Generators of the Information Securit.   computer science  Vol.29（4） P.69-71
[5] Wireless Network and Its Security   Computer Engineerin Vol.32（13） P.173-175 
[6]Research on a method of generating random number based on the noise signals of compute   High Technology Letters  Vol.15（11） P.17-22 
[7] Application of Hash Function in Random Number Generators of
the Information Security   COMPUTER ENGINEERING AND APPLICATIONS  Vol.22（11） P115-118 
[8] Design of a two-way one-time-password authentication protocol  Computer Applications  Vol.28（6） P71-73 



                  

Information security
Database technology 
Distributed computing

[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
[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
[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
[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
[5] SIP for Mobile Networks and Security Model. IEEE Proceeding of International Conference on Wireless Communications, Networking and Mobile Computing, 2007:1809-1812
[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

已指导学生

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

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

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

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

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

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

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

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

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

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

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

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

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

现指导学生

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

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

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

[1] （973） Program： Research and  Design of  Key Chip  of  Information Security G1999035806)
[2] （863）Program)：Design and Chip  Integration of High Speed a Numeral  Physics  Noise Source (2002AA141041）
[3] Research of Security Protocol  Base on  Colored Petri Model （Y15102HN00）