Compositional Verification of Secure Streamed Data: A Case Study with EMSS