删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

江苏大学计算机科学与通信工程学院硕士研究生导师简介-周从华

江苏大学 免费考研网/2013-12-22

周从华教师姓名: 周从华职务职称: 副教授所属系部: 信息安全系研究方向: 模型检测、访问控制系统、网络协议的设计与分析、模态逻辑联系电话: 0511-88791299-536电子邮箱: chzhou@ujs.edu.cn个人简介  周从华,男,1978年生,江苏盐城人。1997年进入南京大学数学系学习,2001年获得南京大学理学学士学位,2006年获得理学博士学位。2006年1-2月在德国帕德博恩大学计算机系进行合作交流,2011.07-2011.12在德国锡根大学数学系进行合作交流。2006年6月到江苏大学计算机科学与通信工程学院工作,副教授。主要研究领域包括:模型检测、通信协议的性能分析与形式化分析,访问控制系统,模态逻辑。主持完成国家自然科学基金中德合作交流项目一项,参与完成国家自然科学基金三项,江苏省自然科学基金一项。目前主持国家自然科学基金青年基金一项,,共同主持江苏省自然科学基金一项。获批软件著作权两项,发明专利两项。目前已发表论文三十余篇,其中SCI和EI检索二十余篇。教研成果期刊论文
2012
1)ConghuaZhou,BoSun,AbstractioninModelCheckingReal-TimeTemporalLogicofKnowledge.JournalofComputers.2012,7(2):362-370.

2011
1)周从华,刘志锋,吴海玲,陈松,鞠时光,非传递广义无干扰属性符号化算术验证的研究,中国科学:信息科学,2011,41(11):1310-1327.
2)ConghuaZhou,MeilingCao,MengYe,ZhihaoQian,SAT-basedAlgorithmicVerificationofNoninterference,JournalofComputers.2011,6(11):2310-2320.
3)ConghuaZhou,BoSun,ZhifengLiu,AbstractionforModelCheckingMulti-agentSystems,FrontiersofComputerScienceinChina,2011,5(1):14-25.
4)周从华,刘志锋,吴海玲,陈松,面向无传递性安全策略的语法信息流分析方法,计算机科学与探索,2011,5(2):179-192.
5)ShiguangJu,ConghuaZhou,ZhifengLiu,ChangdaWang,XiangmeiSong,InferenceChannelIdentificationwithModelChecking,Journalofcomputationalinformationsystem,2011,7(3):1001-1012.
6)ConghuaZhou,SongChen,MinchaoWang,HaiyangLi,ZhihaoQian,StructureReductionforVerifyingNoninterferenceproperties,JournalofInformation&ComputationalScience,2011,8(3):446-454
7)吴海玲,周从华,鞠时光,前向可修正属性算术验证的研究,计算机科学2011,38(3):97-102.

2010
1)陈松,周从华,鞠时光,王基,基于Petri网的信息流安全属性的分析与验证,计算机应用研究,2010,27(12):4638-4642.

2009
1)周从华,一种基于满足性判定的并发软件验证策略,软件学报,2009,20(6):1414-1424.
2)ConghuaZhou,LiChen,ShiguangJu,PetriNetsbasedNoninterferenceAnalysis,JournalofComputationalInformationSystems,2009,5(4):1231-1240.
3)ConghuaZhou,SymbolicAlgorithmicVerificationofGeneralizedNoninterference,WSEASTransactionsoncomputers,2009,8(6):976-987.
4)王昌达,鞠时光,周从华,宋香梅,一种隐通道威胁审计的度量方法,计算机学报,2009,32(4):751-762.
5)陈立,鞠时光,周从华,房芳,张翼,基于信息熵的隐通道能力分析,计算机应用研究,2009,25(8):3015-3018.

2008
1)周从华,陈振宇,鞠时光,基于SAT的软件验证,计算机研究与发展,2008,45(s1):124-130.
2)陈振宇,徐宝文,周从华,一种基于消解的变量极小不可满足子公式的提取方法,计算机研究与发展,2008,45(s1):43-47.
3)周从华,刘志锋,基于Petri网的工作流模型简化,计算机科学,2008,35(2):115-119.

2007
1)ConghuaZhou,SAT-basedBoundedModelCheckingforSE-CTL,WSEASTransactionsonComputers,2007,6(9):1057-1064.
2)ZhihongTao,ConghuaZhou,ZhongChen,LifuWang,BoundedmodelcheckingofCTL.JournalofComputerScienceandTechnology,2007,22(1):39-43.
3)周从华,刘志锋,具有过去时态算子的计算树逻辑模型检测,计算机工程,2007,33(22):98-100.
4)周从华,陶志红,陈钟,王立福,基于时态逻辑的工作流分析,计算机科学,2007,34(11):118-123.

2006
1)ConghuaZhou,ZhihongTao,DechengDing,LifuWang,Boundedmodelcheckingforbranching-timetemporallogic.ChineseJournalofElectronics,2006,15(4):675-678.
2)ZhihongTao,ConghuaZhou,HansKleineBuning,LifuWang,SAT-BasedVerificationofBoundedPetriNets,ChineseJournalofElectronics,2006,15(4):567-572.
3)ConghuaZhou,ZhenyuChen.ModelCheckingWorkflowNetbasedonPetriNet.WuhanUniversityJournalofNaturalsciences.2006,11(5):1297-1301.

会议论文
1)ConghuaZhou,BoSun,ZhifengLiu,AbstractionforModelCheckingtheProbabilisticTemporalLogicofKnowledge,LectureNotesinArtificialIntelligence,2010,6319:209-221.
2)SongChen,ConghuaZhou,ShiguangJu,AnalysisforthecompositionofinformationflowsecuritypropertiesonPetrinet,The2ndInternationalConferenceonInformationScienceandEngineering,2010:1859-1863.
3)ConghuaZhou,LiChen,ShiguangJu,ZhifengLiu,StateSpaceReductionforVerifyingNoninterference,TheThirdIEEEInternationalConferenceOnSecureSoftwareIntegrationandReliabilityImprovement,2009,pages:132-140.
4)HailingWu,QingjieXie,ConghuaZhou,EstablishingFingerprintPollutionSourceIdentificationSystemoftheAccidentalWaterPollutionEmergencyBasedonMapInfo,Proceedingsofthe2009FirstIEEEInternationalConferenceonInformationScienceandEngineeringtableofcontentsPages:2051-2054.
5)LiChen,ShiguangJu,ConghuaZhou,YiZhang,Covertchannelcapacityanalysisbasedonentropy,2008InternationalSymposiumonInformationScienceandEngineering,ISISE2008,v1,p363-367.
6)ConghuaZhou,ZhenyuChen,ZhihongTao,QBF-BasedSymbolicModelCheckingforKnowledgeandTime.InProc.ofInternationalConferenceonTheoryandApplicationsofModelsofComputation(TAMC07),LNCS,4484,386-397.
7)ConghuaZhou,ShiguangJu,SAT-basedBoundedModelCheckingforSE-LTL,InProc.Ofthe8thInternationalConferenceonSoftwareEngineering,ArtificialIntelligence,NetworkingandParallel/DistributedComputing,2007,pages:582-587.
8)ConghuaZhou,Acompositionalsymbolicverificationframeworkforconcurrentsoftware,Proceedingsofthe2ndinternationalconferenceonScalableinformationsystems,2007.
9)ConghuaZhou,DechengDing,ImprovedSAT-basedBoundedModelChecking.InProc.ofInternationalConferenceonTheoryandApplicationsofModelsofComputation(TAMC06),LNCS,3959,611-620.
10)ZhenyuChen,ConghuaZhou,andDechengDing.Automaticabstractionrefinementforpetrinetsverification.InProc.ofthe10thIEEEInternationalHigh-LevelDesignValidationandTestWorkshop,pages168-174,2005.
相关话题/计算机