王涛

发布日期:2022-09-09    浏览次数:

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中国优秀博士论文奖

Copyright©2010 All Right Reserved  版权所有:2023白菜网总站大全 - 600cc全讯白菜自助注册

地址:中国河北省秦皇岛市河北大街西段360号  邮编:066004