Study on Strand Space Model Theory. - Qingguang Ji; Sihan Qing; Yongbin Zhou; Dengguo Feng (J. Comput. Sci. Technol., 2003)

A new formal model for privilege control with supporting POSIX capability mechanism. - Qingguang Ji; Sihan Qing; Yeping He (Sci. China Ser. F Inf. Sci., 2005)

A formal model for integrity protection based on DTE technique. - Qingguang Ji; Sihan Qing; Yeping He (Sci. China Ser. F Inf. Sci., 2006)