顧永跟

顧永跟,漢族,畢業於上海交通大學,研究可信計算、電子商務等。

基本信息

研究經歷

自1996年碩士畢業於上海交通大學計算機系以後就從事計算機網路與信息安全的科研和開發工作;2003年開始在上海交通大學計算機系攻讀博士學位期間主要研究方向是可信計算;2006年博士畢業以來主要研究可信電子商務平台、數字簽名等。

研究項目

目前正主持浙江省科技計畫項目“基於身份的數字簽名及其在數字醫院中的套用”和湖州市科技攻關項目“中小型專業市場可信電子商務平台及示範套用”。

研究成果

一、近三年主要科研論文

1、Yonggen Gu, Guoqiang Li and Yuxi Fu. Analyzing iKP security in applied pi calculus. In: Proc.of CIS’04, LNCS 3314, Springer-Verlag, 2004: 879-887.(SCIE收錄)

2、Yonggen Gu, Yuxi Fu, Farong Zhong and Han Zhu. A generic model for analyzing security protocols. In: Proc.ofmmm-ACNS’05, LNCS 3685, 2005: 119-128.(SCIE收錄)

3、Yonggen Gu, Yuxi Fu, Yang Li and Xiaoju Dong. A generic model for symbolic analyzing security protocols. In: Proc.of CIT’05, IEEE Computer Society, 2005: 680-684. (EI收錄)

4、Yonggen Gu, Yuxi Fu and Guoqiang Li. A simple process calculus for the analysis of security protocols. In: Proc. of PDCAT’05, IEEE Computer Society, 2005: 110-114. (EI收錄)

5、顧永跟,傅育熙. 基於進程演算和知識推理的安全協定形式化分析. 計算機研究與發展,43(5),2006.

6、顧永跟,傅育熙,朱涵. 基於可達關係的安全協定保密性分析. 計算機學報,30(2),2007.

一、軟體成果

1.基於身份的醫院數字簽名系統;

2.面向中小型專業市場的可信電子商務平台。

相關詞條

相關搜尋

熱門詞條

聯絡我們