Application of formal methods and mathematical logic to the modelling of access control systems and the design of policy languages. Topics include ...
Application of formal methods and mathematical logic to the modelling of access control systems and the design of policy languages. Topics include ...