System assurance beyond detecting vulnerabilities / Nikolai Mansourov, Djenana Campara. - Mansourov, Nikolai (The MK/OMG press, 2011)