![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Yun Bai 9 Yun Bai: Towards Secure Object Oriented Database Systems. CoopIS/DOA/ODBASE 2002 : 1118-1131 8 Yun Bai, Yan Zhang : On the Computational Aspect of Rule Based Database Updates. IEA/AIE 2001 : 71-81 7 Yan Zhang , Cheng-Min Wu , Yun Bai: Implementing prioritized logic programming. AI Communications 14 (4): 183-196 (2001) 6 Yun Bai, Vijay Varadharajan : Authorization in Object Oriented Databases. ACISP 1999 : 270-280 5 Yun Bai, Vijay Varadharajan : A Logical Formalization for Specifying Authorizations in Object-Oriented Databases. DBSec 1999 : 317-330 4 Yun Bai, Vijay Varadharajan : On Formal Languages for Sequences of Authorization Transformations. SAFECOMP 1999 : 375-384 3 Yun Bai, Vijay Varadharajan : A High Level Language for Conventional Access Control Models. ACISP 1998 : 273-283 2 Yun Bai, Vijay Varadharajan : Analysis and Implementation of a Formal Authorisation Policy Design Approach. ACISP 1997 : 14-25 1 Yun Bai, Vijay Varadharajan : A language for specifying sequences of authorization transformations and its applications. ICICS 1997 : 39-49 ![]() DiSC'03 © 2003 Association for Computing Machinery |