High-Assurance Encryption for Law Enforcement Network Data in Motion