Analysis and Implementation of a Formal Authorisation Policy Design Approach. - Yun Bai 001; Vijay Varadharajan (ACISP, 1997)

A Logic For State Transformations in Authorization Policies. - Yun Bai 001; Vijay Varadharajan (CSFW, 1997)

A language for specifying sequences of authorization transformations and its applications. - Yun Bai 001; Vijay Varadharajan (ICICS, 1997)

A Formal Security Design Approach for Transformation of Authorizations in Information Systems. - Yun Bai 001; Vijay Varadharajan (PACIS, 1997)

A High Level Language for Conventional Access Control Models. - Yun Bai 001; Vijay Varadharajan (ACISP, 1998)

Authorization in Object Oriented Databases. - Yun Bai 001; Vijay Varadharajan (ACISP, 1999)

A Logical Formalization for Specifying Authorizations in Object-Oriented Databases. - Yun Bai 001; Vijay Varadharajan (DBSec, 1999)

On Formal Languages for Sequences of Authorization Transformations. - Yun Bai 001; Vijay Varadharajan (SAFECOMP, 1999)

On the Computational Aspect of Rule Based Database Updates. - Yun Bai 001; Yan Zhang 003 (IEA/AIE, 2001)

Implementing prioritized logic programming. - Yan Zhang 003; Cheng-Min Wu; Yun Bai 001 (AI Commun., 2001)

Object Oriented Database with Authorization Policies. - Yun Bai 001; Vijay Varadharajan (Fundam. Informaticae, 2002)

The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. - Yan Zhang 003; Yun Bai 001 (ISMIS, 2003)

On transformation of authorization policies. - Yun Bai 001; Vijay Varadharajan (Data Knowl. Eng., 2003)

Artificial Intelligence In Database Security. - Yun Bai 001; Yan Zhang 003 (Int. J. Pattern Recognit. Artif. Intell., 2004)

A New Approach for Conflict Resolution of Authorization. - Yun Bai 001 (KES (1), 2005)

On the sequence of authorization policy transformations. - Yun Bai 001; Yan Zhang 003; Vijay Varadharajan (Int. J. Inf. Sec., 2005)

Access Control for XML Document. - Yun Bai 001 (IEA/AIE, 2008)

Reasoning for Incomplete Authorizations. - Yun Bai 001 (KES (1), 2008)

A Knowledge Based Formal Language for Securing Information Systems. - Yun Bai 001 (KES (1), 2009)

A Modal Logic for Information System Security. - Yun Bai 001; Khaled M. Khan (AISC, 2011)

On Cloud Computing Security. - Yun Bai 001; Sean Policarpio (WiMo/CoNeCo, 2011)

An Implementation of $ mathcal{A}^{xml(T)}$ : An Answer Set Programming Based Formal Language of Authorisation for XML Documents. - Sean Policarpio; Yun Bai 001 (WiMo/CoNeCo, 2011)

Ell Secure Information System Using Modal Logic Technique. - Yun Bai 001; Khaled M. Khan (Int. J. Secur. Softw. Eng., 2011)

Constraint-enhanced role engineering via answer set programming. - Jinwei Hu; Khaled M. Khan; Yun Bai 001; Yan Zhang 003 (AsiaCCS, 2012)

Tracking and Constraining Authorization Provenance. - Jinwei Hu; Khaled M. Khan; Yun Bai 001; Yan Zhang 003 (IEA/AIE, 2012)

Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems. - Jinwei Hu; Khaled M. Khan; Yun Bai 001; Yan Zhang 003 (ISC, 2012)

Automatic verification of health regulatory compliance in cloud computing. - Khaled M. Khan; Yun Bai 001 (Healthcom, 2013)

Reasoning About the State Change of Authorization Policies. - Yun Bai 001; Edward Caprin; Yan Zhang 003 (IEA/AIE, 2015)

Role updating in information systems using model checking. - Jinwei Hu; Khaled M. Khan; Yan Zhang 003; Yun Bai 001; Ruixuan Li 001 (Knowl. Inf. Syst., 2017)

Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Yun Bai 001; Weisheng Si (KR, 2018)