带权重谓词的可选事务逻辑及其访问控制应用 (Optional Transaction Logic with Weighted Predicates and its Application in Access Control)

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

Abstract

Abstract is missing.