基本信息

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

邮政编码: 101408

研究领域

信息安全 数据库技术

招生信息

   
招生专业
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-计算机技术