周从华教师姓名: 周从华职务职称: 副教授所属系部: 信息安全系研究方向: 模型检测、访问控制系统、网络协议的设计与分析、模态逻辑联系电话: 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.
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
江苏大学计算机科学与通信工程学院硕士研究生导师简介-周从华
江苏大学 免费考研网/2013-12-22
相关话题/计算机
江苏大学计算机科学与通信工程学院硕士研究生导师简介-马汉达
马汉达教师姓名: 马汉达职务职称: 高级工程师所属系部: 实验中心研究方向: 信息系统联系电话: 13775545267电子邮箱: mahd@ujs.edu.cn个人简介教育背景2004..9-2007.6江苏大学硕士研究生,2007.6获硕士学位,1997-2000江苏大学计算机应用技术研究生班学 ...江苏大学师资导师 江苏大学 免费考研网 2013-12-22江苏大学计算机科学与通信工程学院硕士研究生导师简介-牛德姣
牛德姣教师姓名: 牛德姣职务职称: 副教授所属系部: 计算机科学系研究方向: 图像处理联系电话: 0511-88780375-414电子邮箱: djniu@ujs.edu.cn个人简介1996-2000年江苏大学计算机本科2000-2003年江苏大学计算机硕士2010至今江苏大学博士研究生在读200 ...江苏大学师资导师 江苏大学 免费考研网 2013-12-22江苏大学计算机科学与通信工程学院硕士研究生导师简介-林琳
林琳教师姓名: 林琳职务职称: 副教授所属系部: 软件工程系研究方向: 无线传感器网络联系电话: 0511-88780371-316电子邮箱: 13852945376个人简介 1998年6月,江苏理工大学计算机系计算机应用专业毕业,获学士学位;2005年6月,江苏大学计算机科学与通信工程学院计算机 ...江苏大学师资导师 江苏大学 免费考研网 2013-12-22江苏大学计算机科学与通信工程学院硕士研究生导师简介-王新宇
王新宇教师姓名: 王新宇职务职称: 副教授所属系部: 计算机科学系研究方向: 三维模型数字水印联系电话: 13905281037电子邮箱: cn_wxy@126.com个人简介 1996-2000年毕业于江苏理工大学计算机应用专业,获学士学位;2003-2006年毕业于江苏大学计算机应用专业,获硕 ...江苏大学师资导师 江苏大学 免费考研网 2013-12-22江苏大学计算机科学与通信工程学院硕士研究生导师简介-金华
金华教师姓名: 金华职务职称: 副教授所属系部: 计算机工程系研究方向: 信息安全,工业控制与检测联系电话: 13952946420电子邮箱: jinhua@ujs.edu.cn个人简介 计算机应用在读博士。2004年毕业于江苏大学计算机应用专业获硕士学位,从事计算机学院的“微机接口”、“数字逻辑 ...江苏大学师资导师 江苏大学 免费考研网 2013-12-22江苏大学计算机科学与通信工程学院硕士研究生导师简介-陈锦富
陈锦富教师姓名: 陈锦富职务职称: 副教授、硕导所属系部: 软件工程系研究方向: 软件测试、可信软件及数据挖掘联系电话: 13615286115电子邮箱: jinfuchen@ujs.edu.cn个人简介 2009年6月硕博连读毕业于华中科技大学计算机学院计算机软件与理论专业,获工学博士学位。中国 ...江苏大学师资导师 江苏大学 免费考研网 2013-12-22江苏大学计算机科学与通信工程学院硕士研究生导师简介-俞炘
俞炘教师姓名: 俞炘职务职称: 高级工程师所属系部: 计算中心研究方向: 计算机应用联系电话: 13775549431电子邮箱: yuxin@ujs.edu.cn个人简介1978.9-1982.9年在江苏工学院计算机应用专业学习;1997.9-1999.9江苏理工大学计算机应用技术专业研究生课程进修 ...江苏大学师资导师 江苏大学 免费考研网 2013-12-22江苏大学计算机科学与通信工程学院硕士研究生导师简介-邹志文
邹志文教师姓名: 邹志文职务职称: 副教授,硕士研究生导师所属系部: 基础部研究方向: 数据库理论和技术、分布式系统、虚拟现实及信息安全等联系电话: 13914560751电子邮箱: zzw_yj@126.com个人简介获奖江苏省优秀硕士论文奖、镇江市科技进步三等奖、镇江市优秀科技论文一等奖教研成果 ...江苏大学师资导师 江苏大学 免费考研网 2013-12-22江苏大学计算机科学与通信工程学院硕士研究生导师简介-朱小龙
朱小龙教师姓名: 朱小龙职务职称: 副教授所属系部: 信息安全系研究方向: 编码理论、软件系统构架、大型信息系统联系电话: 0511-88791299电子邮箱: zj_zxl@163.com个人简介1989年毕业于南京理工大学,获工学硕士学位;1989年4月开始到江苏大学计算机学院任教,历任助教、讲 ...江苏大学师资导师 江苏大学 免费考研网 2013-12-22