Model-Based Cyber-Security Framework For Nuclear Power Plant