华南师范大学计算机学院导师介绍:王涛_-查字典考研网
 
请输入您要查询的关键词
  查字典考研网 >> 院校信息 >> 导师介绍 >> 华南师范大学计算机学院导师介绍:王涛

华南师范大学计算机学院导师介绍:王涛

考研时间: 2013-08-22 来源:查字典考研网

姓名:王涛

系别:计算机应用系

职称:副教授

学位及授予单位:工科博士(华南理工大学)

学术特长(主要研究方向):

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

安全微支付技术应用于分布式系统安全审计的研究.通信学报(ISSN1000-436X)2005.5

基于综合安全保护质量的分布式安全服务协商模型.计算机工程与科学(ISSN1007-130X).2006.4

一个基于模态逻辑的安全协议度量方法.华南理工大学学报(自然科学版).2004.11.(EI索引)

教学活动链――基于过程描述的教学活动抽象模型(教学研究论文).2005.11.信息技术教学应用优质示范课程.华南师范大学教育技术研究所.

AMeasureandDesignMethodofSe肖curityProtocol.InProceeding:2004InternationalSymposiumonDistributedComputingandApplicationstoBusiness,EngineeringandScience(DCABES2004).2004.9.(ISTP索引)

基于综合安全保护质量的分布式安全服务协商模型.计算机工程与科学(ISSN1007-130X).2006,4

(以上均为第一作者)

松涛,郭荷清,王涛.用设计模式表示面向对象软件体系的结构.华南理工大学学报(自然科学版).2004,5.

获奖情况:

2004年度广东省科技进步三等奖(排名第5)

电子邮箱:filion@tom.com wang.axxon@gmail.com

办公电话:(+86)020-88402116 13826430236

点击显示
推荐文章
猜你喜欢
附近的人在看
推荐阅读
拓展阅读

当前热点关注

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •