Predictive Access Control for Distributed Computation - Yang, F; Hankin, CL; Nielson, F; Nielson, HR (Science of Computer Programming, 2012)