Analyzing and Improving Security-Enhanced Communication Protocols