 | 2011 |
|---|
| 38 |       | Yun Bai,
Khaled M. Khan:
Ell Secure Information System Using Modal Logic Technique.
IJSSE 2(2): 65-76 (2011) |
| 2010 |
|---|
| 37 | | Yun Bai:
A Formal Approach for Securing XML Document.
IJSSE 1(1): 41-53 (2010) |
| 2009 |
|---|
| 36 | | Yun Bai,
Guochu Shou,
Yihong Hu,
Zhigang Guo:
Security Testing for Intrusion Provention System - The Security Evaluation Practice.
CSIE (3) 2009: 282-285 |
| 35 | | Yong Ding,
Yun Bai,
Fang-ming Liu,
Bao-hua Mao:
Simulation Algorithm for Energy-Efficient Train Control under Moving Block System.
CSIE (5) 2009: 498-502 |
| 34 | | Yun Bai:
A Knowledge Based Formal Language for Securing Information Systems.
KES (1) 2009: 70-77 |
| 33 | | Yun Bai,
S. Simon Wong:
Optimization of Driver Preemphasis for On-Chip Interconnects.
IEEE Trans. on Circuits and Systems 56-I(9): 2033-2041 (2009) |
| 2008 |
|---|
| 32 | | Yun Bai:
Access Control for XML Document.
IEA/AIE 2008: 621-630 |
| 31 | | Juan Yang,
Yun Bai,
Yuhui Qiu:
To Select the Service in Context Aware Systems Using Concept Similarity Mechanism.
ISECS 2008: 143-147 |
| 30 | | Yun Bai:
Reasoning for Incomplete Authorizations.
KES (1) 2008: 278-285 |
| 29 | | Yun Bai,
Juan Yang,
Yuhui Qiu:
OntoCBR: Ontology-Based CBR in Context-Aware Applications.
MUE 2008: 164-169 |
| 2007 |
|---|
| 28 | | Hongtao Liu,
Yun Bai,
Yuhui Qiu:
An Incentive Mechanism for Peer-to-Peer File Sharing.
ICFIE 2007: 442-447 |
| 27 | | Yun Bai,
Juan Yang,
Yuhui Qiu:
FD/I-Based personalized recommendation in Context-aware Application.
MUE 2007: 692-697 |
| 26 | | Hong Taoliu,
Zhixing Huang,
Yun Bai,
Yuhui Qiu:
Auction Incentive Mechanism in P2P.
MUE 2007: 941-945 |
| 25 |  | Yun Bai:
On XML document security.
SEDE 2007: 39-42 |
| 24 | | Juan Yang,
Yun Bai,
Yuhui Qiu:
A decentralized resource allocation policy in minigrid.
Future Generation Comp. Syst. 23(3): 359-366 (2007) |
| 2006 |
|---|
| 23 | | Yun Bai,
Yanyan Guo,
Xiaofeng Meng,
Tao Wan,
Karine Zeitouni:
Efficient Dynamic Traffic Navigation with Hierarchical Aggregation Tree.
APWeb 2006: 751-758 |
| 22 | | Hong Taoliu,
Juan Yang,
Zhixing Huang,
Yun Bai,
Yuhui Qiu:
MDLP - The Resource Allocating Policy for Multi Divisible Loads in Heterogeneous Linear Networks.
SKG 2006: 61 |
| 2005 |
|---|
| 21 | | Fang Wang,
Yuhui Qiu,
Yun Bai:
A New Hybrid NM Method and Particle Swarm Algorithm for Multimodal Function Optimization.
IDA 2005: 497-508 |
| 20 | | Yun Bai:
A New Approach for Conflict Resolution of Authorization.
KES (1) 2005: 290-296 |
| 19 | | Yun Bai,
Yan Zhang,
Vijay Varadharajan:
On the sequence of authorization policy transformations.
Int. J. Inf. Sec. 4(1-2): 120-131 (2005) |
| 2004 |
|---|
| 18 | | Yun Bai,
Yan Zhang:
Artificial Intelligence In Database Security.
IJPRAI 18(1): 3-17 (2004) |
| 2003 |
|---|
| 17 | | Rui Ding,
Xiaofeng Meng,
Yun Bai:
Efficient Index Update for Moving Objects with Future Trajectories.
DASFAA 2003: 183- |
| 16 | | Yun Bai:
The Design and Realization of a Common Syntax-Directed Editing System.
IRI 2003: 85-92 |
| 15 | | Yan Zangh,
Yun Bai:
G-STRIPS - A Generalized STRIPS System for Handling State Change over Dynamic Domains.
ISMIS 2003: 292-296 |
| 14 | | Yan Zhang,
Yun Bai:
The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs.
ISMIS 2003: 349-356 |
| 13 | | Yun Bai,
Vijay Varadharajan:
On transformation of authorization policies.
Data Knowl. Eng. 45(3): 333-357 (2003) |
| 2002 |
|---|
| 12 | | Yun Bai:
Towards Secure Object Oriented Database Systems.
CoopIS/DOA/ODBASE 2002: 1118-1131 |
| 11 | | Yun Bai,
Vijay Varadharajan:
Object Oriented Database with Authorization Policies.
Fundam. Inform. 53(3-4): 229-250 (2002) |
| 2001 |
|---|
| 10 | | Yun Bai,
Yan Zhang:
On the Computational Aspect of Rule Based Database Updates.
IEA/AIE 2001: 71-81 |
| 9 | | Yan Zhang,
Cheng-Min Wu,
Yun Bai:
Implementing prioritized logic programming.
AI Commun. 14(4): 183-196 (2001) |
| 1999 |
|---|
| 8 | | Yun Bai,
Vijay Varadharajan:
Authorization in Object Oriented Databases.
ACISP 1999: 270-280 |
| 7 | | Yun Bai,
Vijay Varadharajan:
A Logical Formalization for Specifying Authorizations in Object-Oriented Databases.
DBSec 1999: 317-330 |
| 6 | | Yun Bai,
Vijay Varadharajan:
On Formal Languages for Sequences of Authorization Transformations.
SAFECOMP 1999: 375-384 |
| 1998 |
|---|
| 5 | | Yun Bai,
Vijay Varadharajan:
A High Level Language for Conventional Access Control Models.
ACISP 1998: 273-283 |
| 1997 |
|---|
| 4 | | Yun Bai,
Vijay Varadharajan:
Analysis and Implementation of a Formal Authorisation Policy Design Approach.
ACISP 1997: 14-25 |
| 3 | | Yun Bai,
Vijay Varadharajan:
A Logic For State Transformations in Authorization Policies.
CSFW 1997: 173-182 |
| 2 | | Yun Bai,
Vijay Varadharajan:
A language for specifying sequences of authorization transformations and its applications.
ICICS 1997: 39-49 |
| 1 | | Yun Bai,
Vijay Varadharajan:
A Formal Security Design Approach for Transformation of Authorizations in Information Systems.
PACIS 1997: 81 |
Data released under the ODC-BY 1.0 license — See also our legal information page