Secure information flow and file movements: A topological theory of discretionary access controls | IEEE Conference Publication | IEEE Xplore