Meng Bo

Meng Bo

Meng Bo: male, member of the Communist Party of China. Professor, School of computer science, Central South University for nationalities.

Character experience

He graduated from Hebei University of science and technology in 1997. In 2000, he obtained the master's degree of computer application technology from Wuhan Jiaotong University of science and technology. in December 2003, he obtained a doctor's degree in engineering from Wuhan University of technology. from 2004 to 2006, he worked as a postdoctoral in information security major of Wuhan University. 2007-2013 associate professor, School of computer science, Central South University for nationalities. since the end of 2013, he has been a professor and master's supervisor of School of computer science, Central South University for nationalities. The research direction is information security (security architecture and protocol).

Lecture course

He mainly taught undergraduate courses "information security", "Introduction to modern cryptography", and postgraduate courses "information security" and "software architecture".

Main contributions

work

Meng Bo

Wang Dejun. Secure remote network voting protocol. Science Press. 2013 (400000 words).

Scientific research achievements

1.BoMeng,WeiHuang, ZimaoLi.Automatedproofofresistanceofdenialofserviceattacksusingeventwiththeoremprover .JournalofComputers,2013,8(7):1728-1741。 2. Meng Bo, Huang Wei, Wang Dejun, Shao Fei. Automatic proof of protocol against denial of service attack. Acta communication Sinica. 2012,33 (3): 112-121. 3.BoMeng, WeiChen.AutomaticVerificationofCoercion -resistanceinRemoteInternetVotingProtocolwithCryptoVerif inComputationalModel.InternationalJournalofDigitalContentTechnologyanditsApplications .2012,6(8):384-396。 4.BoMeng,WeiWang, WeiChen.VerificationofresistanceofdenialofserviceattacksinextendedappliedpicalculuswithProVerif .JournalofComputers,2012,7(4):890-899。 5. BoMeng.ASurveyonAnalysisofSelectedCryptographicPrimitivesandSecurityProtocolsinSymbolicModelandComputationalModel .InformationTechnologyJournal.2011,10(6):1068-1091。 6.BoMeng,FeiShao, WeiHuang.AComputer -assistedFrameworkforAccountabilityofElectronicPaymentProtocol inComputationalModel.InternationalJournalofAdvancementsinComputingTechnology .2011,3(4):49-65。 7.BoMeng,LinLi, FeiShao.ComputationallySoundMechanizedProofsforElectronicPaymentProtocolinaProbabilisticPolynomialCalculuswithCryptoVerif .InternationalJournalofDigitalContentTechnologyanditsApplications.2011,5(3):67-86。 8.BoMeng, FeiShao.ComputationallySoundMechanizedProofsforDeniableAuthenticationProtocolswithaProbabilisticPolynomialCalculusinComputationalModel .InformationTechnologyJournal.2011,10(3):611-625。 9.BoMeng,WeiHuang, JunQin.AutomaticVerificationofSecurityPropertiesofRemoteInternetVotingProtocolinSymbolicModel .InformationTechnologyJournal.2010,9(8):1521-1556。 10.BoMeng, JiangqingWang.AnEfficientReceiverDeniableEncryptionSchemeandItsApplications .JournalofNetworks.2010,5(6):683-690。 11.

BoMeng

.ASecureNon-InteractiveDeniableAuthenticationProtocolwithStrongDeniabilityBasedonDiscreteLogarithmProblemanditsApplicationonIn ternetVotingProtocol.InformationTechnologyJournal .2009,8(3):302-309

.

12.

BoMeng

.AFormalLogicFrameworkforReceipt-freenessinIn ternetVotingProtocol.JournalofComputers .2009,4(3):184-192

.

13.

BoMeng

.FormalAnalysisofKeyPropertiesintheInternetVotingProtocolUs ingAppliedPiCalculus.InformationTechnologyJournal .2008,7(8):1133-1140

.

Award winning record

He has published nearly 40 papers in magazines and conferences at home and abroad, presided over a university level natural science foundation project in 2012, won the third prize of science and technology progress award of Hubei Province and the Wu Fu Zhenhua scholarship of the Ministry of communications once.