|
|
Download PDFOpen PDF in browserModal Location-Resource-Process Logic for Access Control1 pages•Published: May 15, 2012AbstractThe logic MBI is a substructural modal logic of locations, resources, and processes that is closely related to both the bunched logic BI and Hennessy-Milner logic. MBI stands in a (slightly weak) Hennessy-Milner correspondence with the synchronous process calculus of located resources, LSCRP. Starting from motivations in large-scale systems modelling, I will introduce MBI and LSCRP, and explain how they can be used to address some theoretical and practical questions in access control. In: Berndt Müller (editor). LAM'10. 3rd International Workshop on Logics, Agents, and Mobility, vol 7, pages 2. Download PDFOpen PDF in browser |
|
|