Publications

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

Promyslov, Vitaly P.; Quinn, Edward L.; Semenkov, Kirill S.; Rowland, Michael T.; Lamb, Christopher C.; Li, Jianghai L.

Abstract not provided.