Inspec keywords: smart power grids; power engineering computing; public key cryptography

Other keywords: elliptic curve cryptography; security model; formal definition; information technology; outsourcing computation; smart grid technology; proxy reencryption; public cloud; balanced traceability; balanced anonymity; BAT-LA protocol; outsourcing small-scale data linear aggregation; security properties

Subjects: Power systems; Data security; Cryptography; Power engineering computing