Julian Schütte, Nicolai Kuntze, Andreas Fuchs, Atta Badii. Authentic Refinement of Semantically Enhanced Policies in Pervasive Systems. In Kai Rannenberg, Vijay Varadharajan, Christian Weber, editors, Security and Privacy - Silver Linings in the Cloud - 25th IFIP TC-11 International Information Security Conference, SEC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings. Volume 330 of IFIP Advances in Information and Communication Technology, pages 90-102, Springer, 2010. [doi]