Abstract: We developed a systematic analytical and computational framework for the vulnerability analysis and mitigation of data integrity attacks on Phasor Measurement Units (PMUs) employed for wide area monitoring and control of power system. The analytical framework is based on the stability theory of stochastic dynamical system and it allows one to systematically determine the PMUs most critical to power network security.