この資料をSMS送信: Data independent verification of crypto−protocols