叶聪聪(1993-),女,湖北黄石人,硕士生,主要研究领域为软件工程,安全检测,管理信息系统;蔡鸿明(1975-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为协同计算,服务计算,CAD/CG,语义数据处理,智慧制造;李国强(1979-),男,博士,副教授,CCF专业会员,主要研究领域为形式化方法,理论计算机科学,程序语言理论;顾永跟(1968-),男,博士,教授,CCF高级会员,主要研究领域为计算经济学,物联网.
李国强,E-mail:li.g@sjtu.edu.cn
国家自然科学基金(61732013);浙江省重点研发项目(2017C02036)
National Natural Science Foundation of China (61732013); Key Research and Development Program of Zhejiang Province (2017C02036)
叶聪聪,李国强,蔡鸿明,顾永跟.区块链的安全检测模型.软件学报,2018,29(5):1348-1359
复制