发送短信: Data independent verification of crypto−protocols