Zhi Yang, Lihua Yin, Shuyuan Jin, Xingyuan Chen: Optimal mining on security labels for decentralized information flow control. Comput. Secur. 31(8): 912-924 (2012)