孟博

學位學歷

1997本科畢業於河北科技大學計算機及套用專業2000年取得武漢交通科技大學計算機套用技術碩士學位2003年12月在武漢理工大學取得工學博士學位2004-2006年在武漢大學信息安全專業做博士後2007-2013年中南民族大學計算機科學學院副教授2013年底至今任中南民族大學計算機科學學院教授，碩士生導師。研究方向為信息安全（安全體系結構與協定）。

主要成就

在國內外雜誌、會議上發表論文近40篇；2012年主持校級自然科學基金項目一項；曾經獲得湖北省科技進步三等獎一次、交通部吳福－振華獎學金一次。

出版著作

孟博,王德軍.《安全遠程網路投票協定》.科學出版社.2013（40萬字）

科研成果

1. Bo Meng , Wei Huang, Zimao Li.Automated proof of resistance of denial of service attacks using event with theorem prover. Journal of Computers,2013,8(7) :1728-17412. 孟博,黃偉,王德軍,邵飛.協定抗拒絕服務攻擊性自動化證明.通信學報.2012,33(3):112-121 3. Bo Meng, Wei Chen. Automatic Verification of Coercion-resistance in Remote Internet Voting Protocol with CryptoVerif in Computational Model. International Journal of Digital Content Technology and its Applications.2012,6(8):384-396 4. Bo Meng, Wei Wang, Wei Chen. Verification of resistance of denial of service attacks in extended applied pi calculus with ProVerif. Journal of Computers,2012,7(4): 890-899 5. Bo Meng .A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model. Information Technology Journal.2011,10(6): 1068-10916. Bo Meng, Fei Shao, Wei Huang. A Computer-assisted Framework for Accountability of Electronic Payment Protocol in Computational Model. International Journal of Advancements in Computing Technology.2011,3(4):49-65 7. Bo Meng, Lin Li, Fei Shao. Computationally Sound Mechanized Proofs for Electronic Payment Protocol in a Probabilistic Polynomial Calculus with CryptoVerif. International Journal of Digital Content Technology and its Applications.2011,5(3):67-86 8. Bo Meng, Fei Shao. Computationally Sound Mechanized Proofs for Deniable Authentication Protocols with a Probabilistic Polynomial Calculus in Computational Model. Information Technology Journal.2011,10(3):611-625 9. Bo Meng, Wei Huang, Jun Qin. Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model. Information Technology Journal. 2010,9(8):1521-1556 10. Bo Meng, Jiangqing Wang. An Efficient Receiver Deniable Encryption Scheme and Its Applications. Journal of Networks. 2010,5(6):683-690 11.Bo Meng. A Secure Non-Interactive Deniable Authentication Protocol with Strong Deniability Based on Discrete Logarithm Problem and its Application on Internet Voting Protocol. Information Technology Journal. 2009, 8(3): 302-30912.Bo Meng. A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol. Journal of Computers .2009, 4(3):184-19213.Bo Meng. Formal Analysis of Key Properties in the Internet Voting Protocol Using Applied Pi Calculus. Information Technology Journal. 2008,7(8):1133-1140

孟博歷年演唱過的歌曲

• 2010-05-26歌曲：愛過的記憶

孟博歷年專輯

• 2010年推出專輯：《愛過的記憶》
• 2010年推出專輯：《愛過的記憶 EP》