Grundlagenforschung fr vertrauenswrdige Software

In diesem Buch werden vor allem der Forschungsberblick, die Forschungsergebnisse und die weiteren Aussichten von "The Fundamental Research for Trustworthy Software", einem groen Forschungsprojekt des NSFC, vorgestellt. Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen: Messung und Modellierung der Software-Glaubwrdigkeit, Konstruktion und Verifizierung vertrauenswrdiger Software, Entwicklung und Kontrolle vertrauenswrdiger Software sowie Konstruktion und Bewertung einer vertrauenswrdigen Umgebung. Es konzentriert sich auf die Glaubwrdigkeit von embedded Software und Netzwerkanwendungssoftware und nimmt die Glaubwrdigkeit von Software in nationalen Schlsselanwendungsbereichen als einen Durchbruch, um einen Forschungsrahmen fr die Grundlagenforschung von vertrauenswrdiger Software zu schaffen.