Secure Communications over Insecure Channels Based on Short Authenticated Strings