この資料をSMS送信: Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements