Smart grid is the modernization of the legacy electric power system in which cyber computing and communications are integrated with the physical world of power systems. A[...]

Security problems are both a large and growing concern today. Many security breaches are the result of security vulnerabilities introduced during the code construction ph[...]

Determining whether a given policy meets a site's high-level security goals has been a challenging task, due to the low-level nature and complexity of the policy language[...]