Authors: Shen, VRL

Citation: Vrl. Shen, Correctness in hierarchical knowledge-based requirements, IEEE SYST B, 30(4), 2000, pp. 625-631

Authors: Shen, VRL

Citation: Vrl. Shen, Improvement of a multi-role-based access control policy, IEICE T FUN, E83A(7), 2000, pp. 1483-1485

Authors: Kuo, FH Shen, VRL Chen, TS Lai, F

Citation: Fh. Kuo et al., Cryptographic key assignment scheme for dynamic access control in a user hierarchy, IEE P-COM D, 146(5), 1999, pp. 235-240

Authors: Shen, VRL

Citation: Vrl. Shen, Incremental CTL model checker for fair states, IEICE T INF, E82D(7), 1999, pp. 1126-1130