本项目以网络发票系统为研究载体,拟对指南中集成项目3 "可信的网络应用软件系统试验验证环境"开展可行性预先研究。研究内容包括:一、分析网络发票系统的可信性和服务质量需求与特点,理解其可信性内涵,提炼出可信网络发票软件系统的科学问题。 二、综合集成可信网络软件及可信环境的需求分析、构造、验证、演化、监控和评测等技术,研制出可信网络发票软件系统的试验环境,并在电子税务中开展实证测试与验证。三、提出面向电子税务网络发票系统的"集成项目"实施方案,并论证其可行性。.项目研究意义在于:一、通过将重大研究计划成果在电子税务网络发票系统中进行集成与验证,促进可信软件构造方法的集成升华;二、为国家"金税工程"三期中可信网络发票系统的研发提供科学支撑,体现重大研究计划的国家目标。
{{i.achievement_title}}
数据更新时间:2023-05-31
基于分形L系统的水稻根系建模方法研究
祁连山天涝池流域不同植被群落枯落物持水能力及时间动态变化
跨社交网络用户对齐技术综述
拥堵路网交通流均衡分配模型
卫生系统韧性研究概况及其展望
面向国家电子税务系统的可信软件试验环境与示范应用
多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用
可信的网络应用软件系统试验验证环境预先研究
基于行为认证的电子银行可信软件验证试验环境研究