基本信息

苏桂平 女 硕导 计算机科学与技术学院
电子邮件: sugp@ucas.ac.cn
通信地址: 北京市怀柔区怀北镇怀北庄中国科学院大学雁栖湖校区
邮政编码: 101408
研究领域
信息安全 数据库技术
招生信息
招生专业
081203-计算机应用技术
招生方向
数据库技术数据库技术
教育背景
学历
-- 研究生
学位
-- 博士
工作经历
2003.3—现在 中国科学院研究生院信息学院任教。
2000.2—2003.2 中国科学院研究生院信息安全国家重点实验室攻读博士学位,
研究方向为信息安全。
1989.10—2000.1 东方电子集团公司研究所从事软件设计和开发。
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)
中关键芯片设计及其基础研究(编号为: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 检索).
[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-计算机技术