Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference | IEEE Conference Publication | IEEE Xplore