Game Semantics for Access Control by Abramsky, S, Jagadeesan, R

The formalisation and transformation of access control policies by Slaymaker, M, Mark Slaymaker

“…Each data owner will have access control policies that are carefully crafted and understood --- defined in terms of the access control representation that they use, which may be very different from the model of access control utilised by other data owners or by the technology facilitating the data sharing. …”

Conformance Checking of Dynamic Access Control Policies by Power, D, Slaymaker, M, Simpson, A

“…The capture, deployment and enforcement of appropriate access control policies are crucial aspects of many modern software-based systems. …”

Conformance checking of dynamic access control policies by Power, D, Slaymaker, M, Simpson, A

Evolving access control: formal models and analysis by Sieunarine, C, Clint Sieunarine

“…Traditionally, approaches to access control have fallen into one of two categories: discretionary access control (DAC) or mandatory access control (MAC). …”

On formalising and normalising role−based access control systems by Slaymaker, D, Simpson, A

Cross−platform access control for mobile web applications by Lyle, J, Monteleone, S, Faily, S, Patti, D, Ricciato, F

On the construction and verification of self−modifying access control policies by Power, D, Slaymaker, M, Simpson, A

Towards fine−grained access control in health grids by Simpson, A, Power, D, Slaymaker, M, Politou, E

On Formalizing and Normalizing Role-Based Access Control Systems by Power, D, Slaymaker, M, Simpson, A

“…Role-based access control (RBAC) has emerged as the dominant access control paradigm for service-oriented systems, with this dominance being reflected by the popularity of RBAC both with the research community and with information technology vendors. …”

On XACML‚ role−based access control‚ and health grids by Power, D, Slaymaker, M, Politou, E, Simpson, A

On formalising and normalising role−based access control systems by Power, D, Slaymaker, M, Simpson, A

Proximity−based Access Control for Implantable Medical Devices by Rasmussen, K, Castelluccia, C, Heydt−Benjamin, T, Čapkun, S

“…We propose a proximity-based access control scheme for implantable medical devices (IMDs). …”

User interactive Internet of things privacy preserved access control by Huang, X, Fu, R, Chen, B, Zhang, T, Roscoe, A

User interactive Internet of things privacy preserved access control by Zhang, A

When to Trust Mobile Objects: Access Control in the Jini Software System by Crichton, C, Davies, J, Woodcock, J

Automatic conformance checking of role−based access control policies via Alloy by Power, D, Slaymaker, M, Simpson, A

On the need for user-defined fine-grained access control policies for social networking applications by Simpson, A

“…Specifically, we concern ourselves with authorisation, and argue that members of such social networks should have the opportunity to construct fine-grained access control policies that meet their particular requirements and circumstances, and, in addition, should be able to observe appropriate audit information.…”

On the need for user−defined fine−grained access control policies for social networking applications by Simpson, A

Assigning channels by link directionality in a medium access control protocol for IEEE 802.11 ad hoc networks by Ng, P, Edwards, D, Liew, S

“…The authors thus propose a link-directionality- based dual-channel medium access control protocol in an attempt to double the capacities of networks using the single-channel IEEE 802.11 protocol. …”