Publications Details

Publications / Conference Paper

FORMAL APPROACH TO USE THE SECURITY MODELS FOR DESIGN AND EVALUATION OF THE NPP I&C SECURITY ARCHITECTURE

Promyslov, Vitaly; Quinn, Edward L.; Semenkov, Kirill; Rowland, Mike; Lamb, Christopher C.; Li, Jianghai

Abstract not provided.