发送短信 : Public announcement logic in cryptographic protocol /