Ein umfassendes Werk aus der zweiten internationalen Schule für vertrauenswürdige Softwaresysteme in Chongqing; es liefert tiefgehende Vorlesungsnotizen, praxisorientierte Fallstudien und moderne Methoden zur sicheren Softwareentwicklung.