Analysis and Implementation of a Formal Authorisation Policy Design Approach.

Yun Bai, Vijay Varadharajan

Browse the full ACISP paper archive.