Security-Policy Analysis with eXtended Unix Tools

Gabriel A. Weaver. Security-Policy Analysis with eXtended Unix Tools. PhD thesis, Dartmouth College, USA, 2013. [doi]

Abstract

Abstract is missing.