Yun Bai

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 2

Top Topics

Meta Level Reasoning

Information Systems

Tuple Generating Dependencies

Query Answering

Top Venues

Publications

Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. KR (2018)
Jinwei Hu, Khaled M. Khan, Yan Zhang, Yun Bai, Ruixuan Li
Role updating in information systems using model checking. Knowl. Inf. Syst. 51 (1) (2017)
Yun Bai, Edward Caprin, Yan Zhang
Reasoning About the State Change of Authorization Policies. IEA/AIE (2015)
Khaled M. Khan, Yun Bai
Automatic verification of health regulatory compliance in cloud computing. Healthcom (2013)
Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
Constraint-enhanced role engineering via answer set programming. AsiaCCS (2012)
Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
Tracking and Constraining Authorization Provenance. IEA/AIE (2012)
Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems. ISC (2012)
Yun Bai, Khaled M. Khan
Ell Secure Information System Using Modal Logic Technique. Int. J. Secur. Softw. Eng. 2 (2) (2011)
Yun Bai, Khaled M. Khan
A Modal Logic for Information System Security. AISC (2011)
Yun Bai, Yan Zhang, Vijay Varadharajan
On the sequence of authorization policy transformations. Int. J. Inf. Sec. 4 (1-2) (2005)
Yun Bai, Yan Zhang
Artificial Intelligence In Database Security. Int. J. Pattern Recognit. Artif. Intell. 18 (1) (2004)
Yun Bai, Vijay Varadharajan
On transformation of authorization policies. Data Knowl. Eng. 45 (3) (2003)
Yan Zhang, Yun Bai
The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. ISMIS (2003)
Yun Bai, Vijay Varadharajan
Object Oriented Database with Authorization Policies. Fundam. Informaticae 53 (3-4) (2002)
Yun Bai, Yan Zhang
On the Computational Aspect of Rule Based Database Updates. IEA/AIE (2001)
Yan Zhang, Cheng-Min Wu, Yun Bai
Implementing prioritized logic programming. AI Commun. 14 (4) (2001)
Yun Bai, Vijay Varadharajan
Authorization in Object Oriented Databases. ACISP (1999)
Yun Bai, Vijay Varadharajan
On Formal Languages for Sequences of Authorization Transformations. SAFECOMP (1999)
Yun Bai, Vijay Varadharajan
A Logical Formalization for Specifying Authorizations in Object-Oriented Databases. DBSec (1999)
Yun Bai, Vijay Varadharajan
A High Level Language for Conventional Access Control Models. ACISP (1998)
Yun Bai, Vijay Varadharajan
A Logic For State Transformations in Authorization Policies. CSFW (1997)
Yun Bai, Vijay Varadharajan
Analysis and Implementation of a Formal Authorisation Policy Design Approach. ACISP (1997)
Yun Bai, Vijay Varadharajan
A Formal Security Design Approach for Transformation of Authorizations in Information Systems. PACIS (1997)
Yun Bai, Vijay Varadharajan
A language for specifying sequences of authorization transformations and its applications. ICICS (1997)