Challenge-Authenticated Remote Procedures