Joachim Biskup. Logic-Oriented Confidentiality Policies for Controlled Interaction Execution. In Aastha Madaan, Shinji Kikuchi, Subhash Bhalla, editors, Databases in Networked Information Systems - 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings. Volume 7813 of Lecture Notes in Computer Science, pages 1-22, Springer, 2013. [doi]
Abstract is missing.