From patchwork Tue Dec 1 15:38:30 2015 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Steve Lawrence X-Patchwork-Id: 7738211 Return-Path: X-Original-To: patchwork-selinux@patchwork.kernel.org Delivered-To: patchwork-parsemail@patchwork2.web.kernel.org Received: from mail.kernel.org (mail.kernel.org [198.145.29.136]) by patchwork2.web.kernel.org (Postfix) with ESMTP id A061FBEEE1 for ; Tue, 1 Dec 2015 15:43:28 +0000 (UTC) Received: from mail.kernel.org (localhost [127.0.0.1]) by mail.kernel.org (Postfix) with ESMTP id 85E302066C for ; Tue, 1 Dec 2015 15:43:27 +0000 (UTC) Received: from emvm-gh1-uea08.nsa.gov (emvm-gh1-uea08.nsa.gov [63.239.67.9]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 95BFE2066B for ; Tue, 1 Dec 2015 15:43:22 +0000 (UTC) X-TM-IMSS-Message-ID: <1e2f10ff0003cfd0@nsa.gov> Received: from tarius.tycho.ncsc.mil ([144.51.242.1]) by nsa.gov ([10.208.42.193]) with ESMTP (TREND IMSS SMTP Service 7.1) id 1e2f10ff0003cfd0 ; Tue, 1 Dec 2015 10:41:11 -0500 Received: from prometheus.infosec.tycho.ncsc.mil (prometheus [192.168.25.40]) by tarius.tycho.ncsc.mil (8.14.4/8.14.4) with ESMTP id tB1FdQp1000780; Tue, 1 Dec 2015 10:39:49 -0500 Received: from tarius.tycho.ncsc.mil (tarius.infosec.tycho.ncsc.mil [144.51.242.1]) by prometheus.infosec.tycho.ncsc.mil (8.15.2/8.15.2) with ESMTP id tB1FdNMo143613 for ; Tue, 1 Dec 2015 10:39:23 -0500 Received: from goalie.tycho.ncsc.mil (goalie [144.51.242.250]) by tarius.tycho.ncsc.mil (8.14.4/8.14.4) with ESMTP id tB1FdNJx000769 for ; Tue, 1 Dec 2015 10:39:23 -0500 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A1CgBADkvl1W/6u/HtheGQEBAQEPAQEBAYMugR+8HYQHBxeFeAKCEwEBAQEBAYVAAQEEgQlRVwYTiC69BgELIYZUiSaDEwxBgTEFjhiIP404nGFjhCIgNIQngUoBAQE X-IPAS-Result: A1CgBADkvl1W/6u/HtheGQEBAQEPAQEBAYMugR+8HYQHBxeFeAKCEwEBAQEBAYVAAQEEgQlRVwYTiC69BgELIYZUiSaDEwxBgTEFjhiIP404nGFjhCIgNIQngUoBAQE X-IronPort-AV: E=Sophos;i="5.20,369,1444708800"; d="scan'208";a="4981501" Received: from emvm-gh1-uea08.nsa.gov ([10.208.42.193]) by goalie.tycho.ncsc.mil with ESMTP; 01 Dec 2015 10:38:54 -0500 X-TM-IMSS-Message-ID: <1e2d245f0003ce36@nsa.gov> Received: from exchange10.columbia.tresys.com (exchange10.columbia.tresys.com [216.30.191.171]) by nsa.gov ([10.208.42.193]) with ESMTP (TREND IMSS SMTP Service 7.1; TLSv1/SSLv3 AES256-SHA (256/256)) id 1e2d245f0003ce36 ; Tue, 1 Dec 2015 10:39:04 -0500 Received: from amos.columbia.tresys.com (10.1.12.120) by Exchange10.columbia.tresys.com (192.168.243.126) with Microsoft SMTP Server (TLS) id 14.1.438.0; Tue, 1 Dec 2015 10:38:46 -0500 From: Steve Lawrence To: SELinux List Subject: [PATCH 2/2] secilc/docs: Add documentation for neverallowx rules Date: Tue, 1 Dec 2015 10:38:30 -0500 Message-ID: <1448984310-17097-2-git-send-email-slawrence@tresys.com> X-Mailer: git-send-email 2.4.3 In-Reply-To: <1448984310-17097-1-git-send-email-slawrence@tresys.com> References: <1448984310-17097-1-git-send-email-slawrence@tresys.com> MIME-Version: 1.0 X-TM-AS-MML: disable X-BeenThere: selinux@tycho.nsa.gov X-Mailman-Version: 2.1.20 Precedence: list List-Id: "Security-Enhanced Linux \(SELinux\) mailing list" List-Post: List-Help: Errors-To: selinux-bounces@tycho.nsa.gov Sender: "Selinux" X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00, RCVD_IN_DNSWL_HI, T_RP_MATCHES_RCVD, UNPARSEABLE_RELAY autolearn=unavailable version=3.3.1 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on mail.kernel.org X-Virus-Scanned: ClamAV using ClamSMTP Signed-off-by: Steve Lawrence --- secilc/docs/cil_access_vector_rules.xml | 67 ++++++++++++++++++++++ .../docs/cil_class_and_permission_statements.xml | 2 +- 2 files changed, 68 insertions(+), 1 deletion(-) diff --git a/secilc/docs/cil_access_vector_rules.xml b/secilc/docs/cil_access_vector_rules.xml index 985fc3d..e768558 100644 --- a/secilc/docs/cil_access_vector_rules.xml +++ b/secilc/docs/cil_access_vector_rules.xml @@ -448,4 +448,71 @@ + + neverallowx + Never allow access rights defined for extended permissions. This is a compiler enforced action that will stop compilation until the offending rules are modified. + Note that these rules can be over-ridden by the CIL compiler command line parameter -N or --disable-neverallow flags. + Rule definition: + + Where: + + + + + + + + neverallowx + + + The neverallowx keyword. + + + + + source_id + + + A single previously defined source type, typealias or typeattribute identifier. + + + + + target_id + + + A single previously defined target type, typealias or typeattribute identifier. + The self keyword may be used instead to signify that source and target are the same. + + + + + permissionx_id + + + A single named or anonymous permissionx. + + + + + + Example: + This example will not compile as type_3 is not allowed to be a source type and ioctl range for the allowx rule: + + + + diff --git a/secilc/docs/cil_class_and_permission_statements.xml b/secilc/docs/cil_class_and_permission_statements.xml index 20c3eb7..f4982e0 100644 --- a/secilc/docs/cil_class_and_permission_statements.xml +++ b/secilc/docs/cil_class_and_permission_statements.xml @@ -508,7 +508,7 @@ permissionx - Defines a named extended permission, which can be used in the allowx, auditallowx, and dontauditx statements. + Defines a named extended permission, which can be used in the allowx, auditallowx, dontauditx, and neverallowx statements. Statement definition: Where: