1、基础信息
姓名：王涛
性别：女
出生年月：1983年5月
政治面貌：党员
学历：研究生
学位：博士
专业：计算机应用
毕业院校：燕山大学
所在部门：信息管理与信息系统教学部
职称：副教授
职务：无
电子邮箱：yy_mma@126.com
研究领域：人工智能安全
主讲课程：计算机网络、信息安全、信息系统开发设计、系统建模与仿真、信息系统管理等
2、教育背景
2010.9 ~ 2015.1，博士研究生，燕山大学·信息科学与工程学院，计算机应用技术专业，网络安全方向
2006.9 ~ 2009.1，硕士研究生，燕山大学·信息科学与工程学院，计算机软件与理论专业，计算智能方向
2002.9 ~ 2006.6，本科，河南科技大学·信息工程学院，计算机科学与技术专业
3、工作履历
2009.5 ~至今，河北科技师范学院工作
4、学术成果
发表学术论文10余篇，其中SCI论文4篇，EI论文4篇，参与国家级、省部级项目7余项，拥有软件著作权1项。
主要科研项目、成果：
1大数据背景下的个人信息保护机制研究.(HB18SH012).河北省社科基金，2018.06—2021.08主持
2关键应用系统的软件行为建模与检测关键技术研究.(F2016203290)河北省自然科学基金青年科学基金.2016.01—2018.12，第一参与人
3面向并发系统的入侵检测关键技术研究.(201401A053) 秦皇岛市科学技术研究与发展计划.2014.06—2016.12，第一参与人
4面向应用系统的基于柔性、信任和协同机制的检测与防护软件模型.(61272125)国家自然科学基金面上项目.2012.08—2016.12.第七参与人
5基于角色的可插拔柔性协同检测和防护模型研究，河北省自然科学基金，课题编号：F2011203234. 第四参与人
6面向应用系统的柔性协同防御模型研究，河北教育厅科学研究计划重点项目，课题编号：ZH2011115. 第六参与人
7基于进程代数和信任机制的软件实体行为协同检测与防护模型，教育部高等学校博士学科点专项科研基金，项目编号：20121333110014. 第六参与人
发表的主要论文：
1基于Pi演算的Android多线程程序的数据竞争检测[J]. 广西师范大学学报（自然科学版），2020，第一作者
2 Android应用程序的组件间通信行为检测[J]. 小型微型计算机系统, 2018, 39(1): 166-172. 第二作者
3Communication-based Attacks Detection in Android Applications[J]. Tsinghua science and technology. , vol. 24, no. 5, pp. 596-614, October 2019.。doi: 10.26599/TST.2018.9010133。(SCI/EI) 第二作者
4 An Anomalous Behavior Detection Method Using System Call Sequences for Distributed Applications. KSII Transactions on Internet and Information Systems (TIIS), 2015,9(2): 659-679.(SCI、EI,收录号:WOS: 000351719100010,EI: 20151000619300) 第三作者
5 Process Algebra-Based Detection Model for Multithreaded Programs in Communication System. KSII Transactions on Internet and Information Systems(TIIS),2014, 8(3): 965-983. (SCI、EI,收录号:WOS:000334499600014) ，第一作者
6Model for Software Behavior Detection Based on System Call and Process Algebra. China Communications,2013,10(11):24-36.(SCI,收录号: WOS:0003 27239700004) 第二作者
7一种面向分布式系统的行为分析和检测方法.华中科技大学学报(自然科学版),2014,(11):128-132.(EI)，第一作者
8基于进程代数的并发行为检测模型.四川大学学报(工程科学版).2014,01(46):35-41.(EI,收录号: 20140817350109)，第二作者
9 A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System [J]. Ksii transactions on internet and information systems. 2014, 8(3):965-983. (SCI、 EI双检，SCI收录号: WOS:000334499600014, EI收录号:20141517555423), 第1作者
10 Model for Software Behavior Detection Based on System Call and Process Algebra [J]. China Communications.2013,10(11):24-36. (SCI收录号: WOS:000327239700004), 第2作者(导师1作)
[基于进程代数和系统调用的软件行为检测模型(英文) [J]. 2013,10(11):24-36.中国通信
11 An Anomalous Behavior Detection method using system call sequences for Distributed Applications [J]. Ksii transactions on internet and information systems. 2015, 9(2):659-679. (SCI、 EI双检，SCI收录号: WOS:000351719100010, EI收录号:20151000619300), 第2作者
12一种面向分布式系统的行为分析和检测方法[J]. 华中科技大学学报(自然科学版),2014,42(11):128-132 (EI收录号：20152100871012), 第1作者
13基于进程代数的并发行为检测模型[J]. 四川大学学报(工程科学版), 2014, 46(1):1-6. (EI收录号: 20140817350109) , 第2作者
14基于动作相关度的软件行为检测方法[J].小型微型计算机系统, 2014,35(1): 34-39.中文核心, 第4作者
15基于层次关系分析的一种软件行为检测方法[J]. 小型微型计算机系统, 2014, 35(9): 1949-1955.中文核心, 第4作者
16构件演化的交互行为一致性研究[J]. 计算机工程, 2010.12, 中文核心, 第2作者
17基于构件演化的行为一致性验证方法[J]. 计算机工程, 2010.3, 中文核心,第3作者
18一种基于混沌神经网络的作业车间调度算法[J]. 机床与液压, 2009.7, 中文核心, 第2作者
19基于进程代数的构件动态演化行为一致性研究[J]．计算机应用研究, 2009.4, 中文核心, 第3作者
5、评优获奖
2015年10月获得2015年度ACM中国优秀博士论文奖
