Modal Location-Resource-Process Logic for Access Control

David J. Pym. Modal Location-Resource-Process Logic for Access Control. In Berndt Müller, editor, 3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010. Volume 7 of EPiC Series, pages 2, EasyChair, 2010. [doi]

Abstract

Abstract is missing.