Inspec keywords: government data processing; formal verification; green computing; digital signatures; electronic money; digital rights management; energy conservation

Other keywords: electronic voting; green technology; computation cost; verification phase; digital right management systems; DRM; energy efficient technology; performance comparison; communication systems; e-voting; e-cash; total message-signature length; electronic cash; BS scheme; online transaction; efficient identity-based blind message recovery signature scheme; pairings

Subjects: Data security; Environmental aspects of computing; Cryptography; Formal methods