| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Yun Bai Rui Ding , Xiaofeng Meng , Yun Bai: Efficient Index Update for Moving Objects with Future Trajectories. DASFAA 2003 : 183- Yan Zangh , Yun Bai: G-STRIPS - A Generalized STRIPS System for Handling State Change over Dynamic Domains. ISMIS 2003 : 292-296 Yan Zhang , Yun Bai: The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. ISMIS 2003 : 349-356 Yun Bai, Vijay Varadharajan : On transformation of authorization policies. Data Knowl. Eng. 45 (3): 333-357 (2003) Yun Bai: Towards Secure Object Oriented Database Systems. CoopIS/DOA/ODBASE 2002 : 1118-1131 Yun Bai, Vijay Varadharajan : Object Oriented Database with Authorization Policies. Fundam. Inform. 53 (3-4): 229-250 (2002) Yun Bai, Yan Zhang : On the Computational Aspect of Rule Based Database Updates. IEA/AIE 2001 : 71-81 Yan Zhang , Cheng-Min Wu , Yun Bai: Implementing prioritized logic programming. AI Commun. 14 (4): 183-196 (2001) Yun Bai, Vijay Varadharajan : Authorization in Object Oriented Databases. ACISP 1999 : 270-280 Yun Bai, Vijay Varadharajan : A Logical Formalization for Specifying Authorizations in Object-Oriented Databases. DBSec 1999 : 317-330 Yun Bai, Vijay Varadharajan : On Formal Languages for Sequences of Authorization Transformations. SAFECOMP 1999 : 375-384 Yun Bai, Vijay Varadharajan : A High Level Language for Conventional Access Control Models. ACISP 1998 : 273-283 Yun Bai, Vijay Varadharajan : Analysis and Implementation of a Formal Authorisation Policy Design Approach. ACISP 1997 : 14-25 Yun Bai, Vijay Varadharajan : A Logic For State Transformations in Authorization Policies. CSFW 1997 : 173-182 Yun Bai, Vijay Varadharajan : A language for specifying sequences of authorization transformations and its applications. ICICS 1997 : 39-49 1 [ 15 ] 2 [ 15 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 10 ] [ 12 ] 4 [ 8 ] 5 [ 14 ] 6 [ 8 ] [ 9 ] [ 13 ]  ©2004 Association for Computing Machinery |
