基本信息
苏桂平女硕导计算机科学与技术学院
电子邮件： sugp@ucas.ac.cn
通信地址：北京市怀柔区怀北镇怀北庄中国科学院大学雁栖湖校区
邮政编码： 101408

部门/实验室：计算机与控制学院
研究领域信息安全 数据库技术

招生信息
招生专业081203-计算机应用技术

招生方向数据库技术
数据库技术


教育背景
学历 -- 研究生

学位 -- 博士


工作经历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）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-计算机技术