Secure information flow and file movements: A topological theory of discretionary access controls. - Tsau Young Lin; Pierre Vachon (IEEE BigData, 2017)