Combining Logics for Modelling Security Policies. - Chuchang Liu; Patrick McLean; Maris A. Ozols (ACSC, 2005)