David J. Pym: Modal Location-Resource-Process Logic for Access Control. LAM@LICS 2010: 2