Text this: On the Security of a Simple Three-Party Key Exchange Protocol without Server’s Public Keys