邵飞


姓名: 邵飞
籍贯: 山东济宁
研究兴趣: 需求工程
业余爱好: 篮球,足球,旅游
成员类别: 博士研究生

 

 

个 人 简 介

邵飞,于2008年6月获得中南民族大学计算机应用技术硕士学位,2008年9月进入武汉大学软件工程国家重点实验室博士研究生攻读计算机软件与理论博士研究生,主要从事需求工程方面的研究工作,中国计算机学会学生会员。

发表论文情况
[6] F. Shao and B. Meng, “A Non-interactive Deniable Authentication Protocol based on Elliptic Curve Discrete Logarithm Problem,” Energy Procedia, vol. 11, pp. 1018-1025, 2011.
[5] B. Meng, F. Shao and W. Huang, “A computer-assisted framework for accountability of electronic payment protocol in computational model,” International Journal of Advancements in Computing Technology, vol. 3, pp. 49-65, 2011.
[4]B. Meng, F. Shao, L. Li, W. Huang, and D. Wang, “Automatic proofs of deniable authentication protocols with a probabilistic polynomial calculus in computational model,”International Journal of Digital Content Technology and its Applications, vol. 5, pp. 335-355, 2011.
[3] B. Meng and F. Shao, “Computationally sound mechanized proofs for deniable authentication protocols with a probabilistic polynomial calculus in computational model,”Information Technology Journal, vol. 10, pp. 611-625, 2011.
[2] B. Meng, L. Li and F. 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, vol. 5, pp. 67-86, 2011.
[1] 邵飞,孟博, “基于JIT动态适应交货期要求的MRP优化算法,” 现代电子技术, vol. 32, pp. 113-116, 2009

.
联系方式
通信地址:湖北省武汉市武昌珞珈山武汉大学软件工程国家重点实验室,430072
联系电话:15802712197
E-mail:youfelix@gmail.com