基本信息
苏桂平 女 硕导 信息科学与工程学院
电子邮件：sugp@gucas.ac.cn
通信地址：海淀区双榆树汉荣家园1-1305
邮政编码：100086


研究领域信息安全 数据库技术
招生信息

招生专业 计算机应用技术



招生方向 信息安全
数据库技术

教育背景

学历-- 研究生


学位-- 博士

工作经历2003.3—现在 中国科学院研究生院信息学院任教。
2000.2—2003.2 中国科学院研究生院信息安全国家重点实验室攻读博士学位，
研究方向为信息安全。
1989.10—2000.1 东方电子集团公司研究所从事软件设计和开发。

教授课程 计算机系统中的模拟和模型方法、 计算机系统性能评价、 数据库技术
主持和参加的科研项目[1] 2001年—2002年，参加国家重点基础研究发展规划（973）项目：信息安全
中关键芯片设计及其基础研究(编号为：G**)（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年，主持北京市病毒性肝炎临床诊断及治疗的一体化研究（编
号H**）中数学模型的建立；
[6] 2009年—2013年，主持 企业联合项目，校园网基础数据库建设（编号为
Y**G2）；
[7] 2011年—2013年， 主持基于有色petri模型的安全协议分析方法研究 中国科
学院研究生院院长2011年院长基金 （编号为Y15102HN00）

出版信息　　

发表论文 （1） 基于有色Petri网模型的不可否认协议形式化分析，信息安全与保密，2011，第1作者
（2） 一种基于有色Petri网的安全协议分析语言研究，微型机与应用，2011，第1作者
（3） 模型驱动的构件组装的研究与实现，计算机系统应用，2009
（4） 特定领域建模与代码生成的研究与实现，计算机系统应用，2009
（5） 一种基于整数小波变换的图像盲数字水印算法，计算机工程与设计,2008,11, 29 (21)，2008
（6） Spring Acegi 的 安全应用与扩展，计算机应用与软件，2008
（7） 一种双向一次性口令身份认证方案的设计，计算机应用，2008
（8） FID生猪管理解决方案，计算机应用研究，2007
（9） 无线网络及其安全性，计算机工程，2006
（10） 一种信息安全系统中序列随机性检验方法，计算机工程，2006
（11） 密码技术中一种随机数检验方法的设计与实现， 微电子学与计算机，2006
（12） 基于Domino平台的工作流设计与实现，计算机工程，2005
（13） 基于微机噪声产生随机序列的方法的研究，高科技通讯，2005
（14） Fourier分析理论在随机序列发生器中的应用，计算机工程与应用，2005
（15） 安全协议分析语言CPAL的缺陷，微电子学与计算机，2005
（16） 信息安全系统中一种实用的随机数产生方法 ，计算机应用，2005
（17） Hash函数在信息安全中随机序列发生器中的应用 ，计算机工程与应用，2005
（18） 信息安全系统中一种高速随机序列发生器的设计实现，小型微型计算机系统，2004
（19） Fourier变换在信息安全中随机数发生器中的应用，计算机工程，2003
（20） 计算机安全系统中随机序列发生器的研究，计算机研究与发展，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-计算机应用技术