可信软件基础研究
图书信息
书名：可信软件基础研究作者：可信软件基础研究项目组
包装：平装
出版社：浙江大学出版社
出版时间：2019-04-01
图书简介
可信软件基础研究项目组编的《可信软件基础研究》是对嵌入式软件和网络应用软件可信性问题进行深入探究的重要成果。该研究以国家关键应用领域中软件可信性问题为突破口，建立可信软件基础研究的研究框架，并提出可信软件构造与验证、演化与控制的方法体系，研究成果揭示了软件可信性和环境可信性度量与演化的基本规律。本书分为四章，第1章介绍了项目概况，第2章探究国内外研究情况和发展趋势，第3章详细介绍了该项目获得的重大研究成果，包括可信网络交易软件系统试验环境与示范应用、面向车联网的可信网络应用软件系统试验环境与示范应用等；最后一章是对该项目的展望和深入研究设想。本书研究成果将对软件产业的可信化和可靠性提升产生深远的影响，具有广泛的应用价值。
推荐理由
该书对嵌入式软件和网络应用软件可信性问题进行了深入探究，并提出可信软件构造与验证、演化与控制的方法体系，建立了可信软件开发工具和运行支撑平台。这些研究成果将对软件产业的可信化和可靠性提升产生深远的影响。本书内容详实，涵盖了可信软件基础研究的多个方面，对软件工程师、科研人员和相关领域的学者都有很大的参考价值。