System assurance beyond detecting vulnerabilities - Mansurov, Nikolaj Nikolajevič; Campara, Djenana (Elsevier/Morgan Kaufmann, 2011)