Compositional information flow security for concurrent programs