彭焕峰(1978-),男,山东临沂人,博士生,副教授,CCF专业会员,主要研究领域为云计算与服务计算,隐私保护,软件形式化验证;黄志球(1965-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为云计算与服务计算,模型检测,嵌入式软件安全性,软件形式化验证;刘林源(1981-),男,博士,讲师,主要研究领域为云计算与服务计算,系统可靠性与安全;李勇(1983-),男,博士生,讲师,主要研究领域为实证软件工程,机器学习;柯昌博(1984-),男,博士,讲师,CCF专业会员,主要研究领域为基于本体的软件工程,SaaS服务中的隐私增强技术.
黄志球,E-mail:zqhuang@nuaa.edu.cn
国家自然科学基金(61772270,61602262,61562087);国家高技术研究发展计划(863)(2015AA015303);江苏省自然科学基金(BK20150865,BK20130735);江苏省高校自然科学基金(15KJD520001,13KJB520011)
National Natural Science Foundation of China (61772270, 61602262, 61562087); National High-Tech R&DProgram of China (863) (2015AA015303); Natural Science Foundation of Jiangsu Province, China (BK20150865, BK20130735), JiangsuUniversity Natural Science Foundation (15KJD520001, 13KJB520011)
彭焕峰,黄志球,刘林源,李勇,柯昌博.服务组合安全隐私信息流静态分析方法.软件学报,2018,29(6):1739-1755
复制