华南师范大学计算机学院导师：王涛 正文

　　姓名：王涛
　　系别：计算机应用系
　　职称：副教授
　　学位及授予单位：工科博士（华南理工大学）
　　
　　学术特长（主要研究方向）：
　　1．软件工程;软件开发过程管理与优化;软件自动开发技术;软件设计模型的描述与验证;基于形式化模型的软件自动生成与;需求、模型与代码的形式化描述;
　　2．信息安全技术应用;用户权限管理与信息等级?；?安全协议分析与验证技术;网络攻击与防御应用技术与实现;RFID的安全通信与可控存取
　　3．形式化分析方法设计及比较;形式化语义学；
　　
　　学术兼职：
　　广东省计算机信息网络安全协会　专家委员会成员
　　
　　学术活动：（教学经历）
　　1994年9月到1998年7月:在华南理工大学电信学院计算机系本科就读,专业为计算机软件
　　1998年9月到2000年7月:获保送在华南理工大学计算机系就读硕士研究生,导师为周浩华教授，专业方向为计算机体系结构(计算机网络方向)
　　2000年9月到2004年12月:获保送在华南理工大学计算机学院就读博士研究生,导师为郭荷清教授，专业为“计算机应用技术”，方向为"网络信息系统集成与全",2004年12月通过博士论文答辩,获工科博士学位． 2004年12月至今:在华南师范大学计算机学院工作
　　
　　主讲课程：
　　本科生课程：《计算机辅助软件工程》
　　研究生课程：《软件工程方法学》《软件体系结构》
　　
　　科研项目：
　　基于安全微支付技术的无线通信计算环境安全认证方案．广东省自然科学基金项目（博士启动项目）．个人排名：1
　　网络攻击自动生成与网络犯罪侦训系统（华南师范大学计算机学院范冰冰教授主持）．广东省科技计划项目．个人排名：2
　　高效可证明紧致安全的数字签名技术研究（华南师范大学计算机学院马昌社副教授主持）．国家自然科学基金项目．个人排名：3
　　
　　发表论文：
　　串空间模型中对协议公平性的形式化定义． 计算机工程与应用(ISSN1002-8331)．．2004．12
　　一个安全协议度量方法及其应用．计算机工程与设计(ISSN1000-7024)．2005．3
　　安全微支付技术应用于分布式系统安全审计的研究． 通信学报(ISSN 1000-436X)2005．5
　　基于综合安全?；ぶ柿康姆植际桨踩裥棠Ｐ停扑慊こ逃肟蒲?ISSN1007-130X)．2006．4
　　一个基于模态逻辑的安全协议度量方法．华南理工大学学报(自然科学版)．2004．11．(EI索引)
　　教学活动链――基于过程描述的教学活动抽象模型（教学研究论文）． 2005．11．信息技术教学应用优质示范课程．华南师范大学教育技术研究所．
　　A Measure and Design Method of Se肖curity Protocol． InProceeding: 2004 International Symposium on DistributedComputing and Applications to Business, Engineering andScience(DCABES 2004)．2004．9．(ISTP索引)
　　基于综合安全?；ぶ柿康姆植际桨踩裥棠Ｐ停扑慊こ逃肟蒲?ISSN1007-130X)．2006,4
　　(以上均为第一作者)
　　
　　松涛,郭荷清,王涛．用设计模式表示面向对象软件体系的结构．华南理工大学学报(自然科学版)．2004,5．
　　
　　获奖情况：
　　2004年度广东省科技进步三等奖（排名第5）
　　
　　电子邮箱： 　
　　办公电话：(+86)020-88402116　13826430236
　　如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。（）

华南师范大学

添加华南师范大学学姐微信，或微信搜索公众号“考研派小站”，关注[考研派小站]微信公众号，在考研派小站微信号输入[华南师范大学考研分数线、华南师范大学报录比、华南师范大学考研群、华南师范大学学姐微信、华南师范大学考研真题、华南师范大学专业目录、华南师范大学排名、华南师范大学保研、华南师范大学公众号、华南师范大学研究生招生）]即可在手机上查看相对应华南师范大学考研信息或资源。