Rémi Delmas, Thomas Polacsek. Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. In Jelena Zdravkovic, Marite Kirikova, Paul Johannesson, editors, Advanced Information Systems Engineering - 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings. Volume 9097 of Lecture Notes in Computer Science, pages 151-165, Springer, 2015. [doi]
Abstract is missing.