Yun Bai

30 papers A* 1A 1B 2C 8Misc 4Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2018 A* conf
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering.
KR
Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si
2017 J jnl
Role updating in information systems using model checking.
Knowl. Inf. Syst.
Jinwei Hu, Khaled M. Khan, Yan Zhang, Yun Bai, Ruixuan Li
2015 C conf
Reasoning About the State Change of Authorization Policies.
IEA/AIE
Yun Bai, Edward Caprin, Yan Zhang
2013 C conf
Automatic verification of health regulatory compliance in cloud computing.
Healthcom
Khaled M. Khan, Yun Bai
2012 C conf
Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems.
ISC
Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
2012 A conf
Constraint-enhanced role engineering via answer set programming.
AsiaCCS
Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
2012 C conf
Tracking and Constraining Authorization Provenance.
IEA/AIE
Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
2011 Misc conf
A Modal Logic for Information System Security.
AISC
Yun Bai, Khaled M. Khan
2011 — conf
An Implementation of $\mathcal{A}^{xml(T)}$ : An Answer Set Programming Based Formal Language of Authorisation for XML Documents.
WiMo/CoNeCo
Sean Policarpio, Yun Bai
2011 J jnl
Ell Secure Information System Using Modal Logic Technique.
Int. J. Secur. Softw. Eng.
Yun Bai, Khaled M. Khan
2011 — conf
On Cloud Computing Security.
WiMo/CoNeCo
Yun Bai, Sean Policarpio
2009 — conf
A Knowledge Based Formal Language for Securing Information Systems.
KES (1)
Yun Bai
2008 C conf
Access Control for XML Document.
IEA/AIE
Yun Bai
2008 — conf
Reasoning for Incomplete Authorizations.
KES (1)
Yun Bai
2005 — conf
A New Approach for Conflict Resolution of Authorization.
KES (1)
Yun Bai
2005 J jnl
On the sequence of authorization policy transformations.
Int. J. Inf. Sec.
Yun Bai, Yan Zhang, Vijay Varadharajan
2004 J jnl
Artificial Intelligence In Database Security.
Int. J. Pattern Recognit. Artif. Intell.
Yun Bai, Yan Zhang
2003 J jnl
On transformation of authorization policies.
Data Knowl. Eng.
Yun Bai, Vijay Varadharajan
2003 C conf
The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs.
ISMIS
Yan Zhang, Yun Bai
2002 J jnl
Object Oriented Database with Authorization Policies.
Fundam. Informaticae
Yun Bai, Vijay Varadharajan
2001 J jnl
Implementing prioritized logic programming.
AI Commun.
Yan Zhang, Cheng-Min Wu, Yun Bai
2001 C conf
On the Computational Aspect of Rule Based Database Updates.
IEA/AIE
Yun Bai, Yan Zhang
1999 B conf
A Logical Formalization for Specifying Authorizations in Object-Oriented Databases.
DBSec
Yun Bai, Vijay Varadharajan
1999 Misc conf
Authorization in Object Oriented Databases.
ACISP
Yun Bai, Vijay Varadharajan
1999 B conf
On Formal Languages for Sequences of Authorization Transformations.
SAFECOMP
Yun Bai, Vijay Varadharajan
1998 Misc conf
A High Level Language for Conventional Access Control Models.
ACISP
Yun Bai, Vijay Varadharajan
1997 — conf
A Formal Security Design Approach for Transformation of Authorizations in Information Systems.
PACIS
Yun Bai, Vijay Varadharajan
1997 — conf
A Logic For State Transformations in Authorization Policies.
CSFW
Yun Bai, Vijay Varadharajan
1997 C conf
A language for specifying sequences of authorization transformations and its applications.
ICICS
Yun Bai, Vijay Varadharajan
1997 Misc conf
Analysis and Implementation of a Formal Authorisation Policy Design Approach.
ACISP
Yun Bai, Vijay Varadharajan