High-Assurance Encryption of MAN Infrastructure for Smart City