Automated proof of Bell-LaPadula security properties
scientific article; zbMATH DE number 7356979
scientific article