面向国家电子税务系统的可信软件试验环境与示范应用

项目名称： 面向国家电子税务系统的可信软件试验环境与示范应用

项目编号： No.91118005

项目类型： 重大研究计划

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 郑庆华

作者单位： 西安交通大学

项目金额： 300万元

中文摘要： 以国家电子税务重大信息化应用为载体，在十多年相关研究和应用、特别是前期培育项目研究的基础上，分析提炼出国家电子税务系统当前面临的行为、身份、能力、数据四个实际的可信需求；研究"行为-身份-能力-数据"一体化信任模型及度量方法、基于动态网络理论的软件可信演化机理和控制方法、需求定制与反馈演进相结合的软件可信性测试方法3个科学问题及关键技术，形成一套比较系统的网络软件可信建模、演化与控制、测试与验证的理论方法；集成本重大研究计划其他相关研究成果，建立网络软件的可信性试验环境，研制出可信电子税务原型系统；并在国税总局、河北省和陕西省国税开展10万纳税人规模的示范应用。本项目将促进软件可信性从传统的单一度量理论到综合性的可信度量理论及其构造方法的集成升华，为网络软件的可信性模型、构建、演化与控制、测试与验证提供真实案例和理论方法借鉴，真正体现本重大研究计划的国家目标。

中文关键词： 电子税务；可信软件；动态调用；行为胎记；用户监控

英文摘要：

英文关键词： electronic tax；trusted software；dynamic invocation；behavior birthmark；user monitoring