带权重谓词的可选事务逻辑及其访问控制应用 (Optional Transaction Logic with Weighted Predicates and its Application in Access Control). - Li Ma; Yinyu Huo; Yong Zhong; Xiaolin Qin (计算机科学, 2016)