多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用

基金项目类型：

国家自然科学基金

基金项目编号：

91418205

来源网站：

国家自然科学基金委员会

来源网址：

http://www.nsfc.gov.cn/

负责人：

郑庆华

完成单位：

西安交通大学

中文关键词：

可信软件; 国家电子税务软件; 软件调用网络; 用户行为建模; 软件版本演化差异检测;

其他语种关键词：

Trustworthy software; National E-taxation software; Calling Network; User behavior modeling; Difference detection in software evolution

项目类型：

重大研究计划

语种：

中文

开始日期：

2015-01-01

结束日期：

2016-12-31

中文摘要：

针对国家电子税务软件新出现的可信需求：用户行为可信监控和系统版本演化可信评测，在现有软件调用网络模型Calling Network（CN）和软件可信评测与控制技术研究基础上，持续研究面向网络软件的MOC-CN模型，实现软件行为监控从单一系统离线建模，到多维（Multi-dimension）、在线（Online）、跨语言（Cross-language）建模的提升；挖掘软件行为与用户行为的模式特征和映射关系，研究软件和用户异常行为的实时监测和识别方法；研究基于MOC-CN的软件版本演化差异检测和差异引导的可信评测方法。以个人所得税征管系统为载体，研制电子税务软件可信监控和评测系统，在陕西、河北、安徽、广西、上海等9个省市开展示范应用，支持90万纳税人的行为监管，并协助税务部门维护软件升级3个月，参与国家金税工程三期电子税务软件行业规范的制定，在此基础上形成可信软件理论方法的典型应用案例。