華南師范大學(xué)計(jì)算機(jī)學(xué)院導(dǎo)師：王濤 正文

　　姓名：王濤
　　系別：計(jì)算機(jī)應(yīng)用系
　　職稱：副教授
　　學(xué)位及授予單位：工科博士（華南理工大學(xué)）
　　
　　學(xué)術(shù)特長（主要研究方向）：
　　1．軟件工程;軟件開發(fā)過程管理與優(yōu)化;軟件自動(dòng)開發(fā)技術(shù);軟件設(shè)計(jì)模型的描述與驗(yàn)證;基于形式化模型的軟件自動(dòng)生成與;需求、模型與代碼的形式化描述;
　　2．信息安全技術(shù)應(yīng)用;用戶權(quán)限管理與信息等級保護(hù);安全協(xié)議分析與驗(yàn)證技術(shù);網(wǎng)絡(luò)攻擊與防御應(yīng)用技術(shù)與實(shí)現(xiàn);RFID的安全通信與可控存取
　　3．形式化分析方法設(shè)計(jì)及比較;形式化語義學(xué)；
　　
　　學(xué)術(shù)兼職：
　　廣東省計(jì)算機(jī)信息網(wǎng)絡(luò)安全協(xié)會(huì)　專家委員會(huì)成員
　　
　　學(xué)術(shù)活動(dòng)：（教學(xué)經(jīng)歷）
　　1994年9月到1998年7月:在華南理工大學(xué)電信學(xué)院計(jì)算機(jī)系本科就讀,專業(yè)為計(jì)算機(jī)軟件
　　1998年9月到2000年7月:獲保送在華南理工大學(xué)計(jì)算機(jī)系就讀碩士研究生,導(dǎo)師為周浩華教授，專業(yè)方向?yàn)橛?jì)算機(jī)體系結(jié)構(gòu)(計(jì)算機(jī)網(wǎng)絡(luò)方向)
　　2000年9月到2004年12月:獲保送在華南理工大學(xué)計(jì)算機(jī)學(xué)院就讀博士研究生,導(dǎo)師為郭荷清教授，專業(yè)為“計(jì)算機(jī)應(yīng)用技術(shù)”，方向?yàn)?quot;網(wǎng)絡(luò)信息系統(tǒng)集成與全",2004年12月通過博士論文答辯,獲工科博士學(xué)位． 2004年12月至今:在華南師范大學(xué)計(jì)算機(jī)學(xué)院工作
　　
　　主講課程：
　　本科生課程：《計(jì)算機(jī)輔助軟件工程》
　　研究生課程：《軟件工程方法學(xué)》《軟件體系結(jié)構(gòu)》
　　
　　科研項(xiàng)目：
　　基于安全微支付技術(shù)的無線通信計(jì)算環(huán)境安全認(rèn)證方案．廣東省自然科學(xué)基金項(xiàng)目（博士啟動(dòng)項(xiàng)目）．個(gè)人排名：1
　　網(wǎng)絡(luò)攻擊自動(dòng)生成與網(wǎng)絡(luò)犯罪偵訓(xùn)系統(tǒng)（華南師范大學(xué)計(jì)算機(jī)學(xué)院范冰冰教授主持）．廣東省科技計(jì)劃項(xiàng)目．個(gè)人排名：2
　　高效可證明緊致安全的數(shù)字簽名技術(shù)研究（華南師范大學(xué)計(jì)算機(jī)學(xué)院馬昌社副教授主持）．國家自然科學(xué)基金項(xiàng)目．個(gè)人排名：3
　　
　　發(fā)表論文：
　　串空間模型中對協(xié)議公平性的形式化定義． 計(jì)算機(jī)工程與應(yīng)用(ISSN1002-8331)．．2004．12
　　一個(gè)安全協(xié)議度量方法及其應(yīng)用．計(jì)算機(jī)工程與設(shè)計(jì)(ISSN1000-7024)．2005．3
　　安全微支付技術(shù)應(yīng)用于分布式系統(tǒng)安全審計(jì)的研究． 通信學(xué)報(bào)(ISSN 1000-436X)2005．5
　　基于綜合安全保護(hù)質(zhì)量的分布式安全服務(wù)協(xié)商模型．計(jì)算機(jī)工程與科學(xué)(ISSN1007-130X)．2006．4
　　一個(gè)基于模態(tài)邏輯的安全協(xié)議度量方法．華南理工大學(xué)學(xué)報(bào)(自然科學(xué)版)．2004．11．(EI索引)
　　教學(xué)活動(dòng)鏈――基于過程描述的教學(xué)活動(dòng)抽象模型（教學(xué)研究論文）． 2005．11．信息技術(shù)教學(xué)應(yīng)用優(yōu)質(zhì)示范課程．華南師范大學(xué)教育技術(shù)研究所．
　　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索引)
　　基于綜合安全保護(hù)質(zhì)量的分布式安全服務(wù)協(xié)商模型．計(jì)算機(jī)工程與科學(xué)(ISSN1007-130X)．2006,4
　　(以上均為第一作者)
　　
　　松濤,郭荷清,王濤．用設(shè)計(jì)模式表示面向?qū)ο筌浖w系的結(jié)構(gòu)．華南理工大學(xué)學(xué)報(bào)(自然科學(xué)版)．2004,5．
　　
　　獲獎(jiǎng)情況：
　　2004年度廣東省科技進(jìn)步三等獎(jiǎng)（排名第5）
　　
　　電子郵箱： 　
　　辦公電話：(+86)020-88402116　13826430236
　　如果發(fā)現(xiàn)導(dǎo)師信息存在錯(cuò)誤或者偏差，歡迎隨時(shí)與我們聯(lián)系，以便進(jìn)行更新完善。（）

華南師范大學(xué)

添加華南師范大學(xué)學(xué)姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[華南師范大學(xué)考研分?jǐn)?shù)線、華南師范大學(xué)報(bào)錄比、華南師范大學(xué)考研群、華南師范大學(xué)學(xué)姐微信、華南師范大學(xué)考研真題、華南師范大學(xué)專業(yè)目錄、華南師范大學(xué)排名、華南師范大學(xué)保研、華南師范大學(xué)公眾號、華南師范大學(xué)研究生招生）]即可在手機(jī)上查看相對應(yīng)華南師范大學(xué)考研信息或資源。