Yun Bai, Khaled Khan. A Modal Logic for Information System Security. In Colin Boyd, Josef Pieprzyk, editors, Ninth Australasian Information Security Conference, AISC 2011, Perth, Australia, January 2011. Volume 116 of CRPIT, pages 51-56, Australian Computer Society, 2011. [doi]
Abstract is missing.