高悅翔

高悅翔 男 出生日期 1975.7四川師範大學計算機科學學院副教授 學歷 博士 .專業 計算機科學與技術 研究方向 信息安全 ;主講課程 《計算機導論》,《作業系統》《信息安全》

科研項目

[1] 四川省教育廳青年基金項目（08zb025）：公平交換協定的形式化分析技術的研究, 項目負責人

[2] 橫向課題：大連無線電委員會多媒體軟體平台, 2007.10,項目負責人

[3] 國家自然科學基金項目（面上60970113）：TCG框架下的證明問題研究，主研

[4] 國家自然科學基金面上項目（61373162）：可信平台模組虛擬化問題研究，主研

[5] 四川省教育廳重點項目（10ZA009）：基於湧現學習特徵的智慧型學習網路研究，主研

[6] 四川省教育廳青年基金項目（13ZB0152）：基於空間隱匿的位置隱私保護算法研究主研

[7] 國家級精品課程：《中職計算機課程教學法》主研

科研成果

[1] 高悅翔, 彭代淵, 湯鵬志. 一種適用於移動環境的公平移動支付協定[J]. 鐵道學報, 2013, 35(11): 51-59.（EI: 20140117166705）

[2] Gao Y X, Peng D Y, Tang P Z. A Formal Analysis Method for Optimistic Fair Exchange Protocol [J]. International Journal of Convergence Information Technology, 2013, 8 (3): 35-46. (EI: 20130816046095)

[3] 高悅翔, 彭代淵, 閆麗麗. 認證郵件協定的安全性分析與改進[J]. 電子科技大學學報, 2013, 42(2): 300-305. (EI: 20131716238494)

[4] 高悅翔, 彭代淵. 一個多方認證郵件協定的分析與改進[J]. 計算機科學, 2012, 39(11): 58-61.

[5] Gao YueXiang, Li M. An extended compositional analysis of Contract Signing Protocol[C]//Information Management and Engineering (ICIME), 2010 The 2nd IEEE International Conference on. IEEE, 2010: 597-600.

[6] Gao Y X, Peng D Y, Yan L L. Design and formal analysis of a new Fair Multi-Party Certified Mail Protocol[C]//Machine Learning and Cybernetics (ICMLC), 2010 International Conference on. IEEE, 2010, 6: 3101-3106. (EI: 20104613374773)

[7] 高悅翔, 彭代淵. 一種掛號電子郵件協定的設計及其形式化分析[J]. 計算機套用, 2008, 28(8): 1928-1930.

[8] 高悅翔, 李敏. 基於串空間模型的 WAI 密鑰協商協定分析[J]. 通信技術, 2009, 41(12): 313-315.