Compositional Non Interference for Fine Grained Concurrent Programs