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.
Chinese PinYin : Meng Bo
Meng Bo