A Description Logic for PKI Trust Domain Modeling. - Haibo Yu 002; Chunzhao Jin; Haiyan Che (ICITA (2), 2005)

Research on Description Logic Based Conflict Detection Methods for RB-RBAC Model. - Haibo Yu 002; Qi Xie; Haiyan Che (AMT, 2006)

Using Description Logic to Determine Seniority Among RB-RBAC Authorization Rules. - Qi Xie; Dayou Liu; Haibo Yu 002 (RSKT, 2006)