孟博

中南民族大学计算机科学学院教授

孟博：男，中共党员。中南民族大学计算机科学学院教授，信息安全专业硕导。

人物经历

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-1741[EI]。

2. 孟博,黄伟,王德军,邵飞.协议抗拒绝服务攻击性自动化证明.通信学报.2012,33(3):112-121 [EI]。

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 [EI]。

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 [EI]。

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-1091[EI]。

6. 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 [EI]。

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 [EI]。

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 [EI]。

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 [EI]。

10. Bo Meng, Jiangqing Wang. An Efficient Receiver Deniable Encryption Scheme and Its Applications. Journal of Networks. 2010,5(6):683-690 [EI]。

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-309[EI]。

12.Bo Meng. A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol. Journal of Computers .2009, 4(3):184-192[EI]。

13.Bo Meng. Formal Analysis of Key Properties in the Internet Voting Protocol Using Applied Pi Calculus. Information Technology Journal. 2008,7(8):1133-1140[EI]。

全国各地天气预报查询

上海市

云南省

云南省

云南省

云南省

云南省