linux-kernel - Re: [PATCH] LSM: Reorder security_capset to do access checks properly

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <b0f71a7d-1506-1850-0c7e-6d5e4818ec10@schaufler-ca.com>
Date:	Wed, 1 Jun 2016 13:30:33 -0700
From:	Casey Schaufler <casey@...aufler-ca.com>
To:	Stephen Smalley <sds@...ho.nsa.gov>,
	LSM <linux-security-module@...r.kernel.org>,
	James Morris <jmorris@...ei.org>
Cc:	LKLM <linux-kernel@...r.kernel.org>,
	SE Linux <selinux@...ho.nsa.gov>
Subject: Re: [PATCH] LSM: Reorder security_capset to do access checks properly

On 6/1/2016 1:06 PM, Stephen Smalley wrote:
> On 06/01/2016 03:27 PM, Casey Schaufler wrote:
>> Subject: [PATCH] LSM: Reorder security_capset to do access checks properly
>>
>> The security module hooks that check whether a process should
>> be able to set a new capset are currently called after the new
>> values are set in cap_capset(). This change reverses the order.
>> The capability module no longer adds cap_capset to the module list.
>> Instead, it is invoked directly by the LSM infrastructure.
>> This isn't an approach that generalizes well.
> Is this change necessary?  The fact that cap_capset() modifies new
> before the other hooks are called does no harm, because if any hook
> returns an error, then the caller returns that error and never commits
> the new cred.  It is actually possibly beneficial for the other security
> hooks to be called after cap_capset() so that they can adjust the new
> values if desired (e.g. to reduce them) before they are finally committed.

The existing code will set the new credential values before the
security modules do their checks. Even if it's harmless, it's sloppy.
Currently there's only one caller, but with Serge's work on ns_capabilities
I'm looking to make this safer.

>
>> Signed-off-by: Casey Schaufler <casey@...aufler-ca.com>
>> ---
>>  security/commoncap.c |  2 +-
>>  security/security.c  | 24 ++++++++++++++++++++++--
>>  2 files changed, 23 insertions(+), 3 deletions(-)
>>
>> diff --git a/security/commoncap.c b/security/commoncap.c
>> index 48071ed..f5bce18 100644
>> --- a/security/commoncap.c
>> +++ b/security/commoncap.c
>> @@ -1073,7 +1073,7 @@ struct security_hook_list capability_hooks[] = {
>>  	LSM_HOOK_INIT(ptrace_access_check, cap_ptrace_access_check),
>>  	LSM_HOOK_INIT(ptrace_traceme, cap_ptrace_traceme),
>>  	LSM_HOOK_INIT(capget, cap_capget),
>> -	LSM_HOOK_INIT(capset, cap_capset),
>> +	/* Carefull! Do not include cap_capset! */
>>  	LSM_HOOK_INIT(bprm_set_creds, cap_bprm_set_creds),
>>  	LSM_HOOK_INIT(bprm_secureexec, cap_bprm_secureexec),
>>  	LSM_HOOK_INIT(inode_need_killpriv, cap_inode_need_killpriv),
>> diff --git a/security/security.c b/security/security.c
>> index 92cd1d8..1610be8 100644
>> --- a/security/security.c
>> +++ b/security/security.c
>> @@ -177,8 +177,28 @@ int security_capset(struct cred *new, const struct cred *old,
>>  		    const kernel_cap_t *inheritable,
>>  		    const kernel_cap_t *permitted)
>>  {
>> -	return call_int_hook(capset, 0, new, old,
>> -				effective, inheritable, permitted);
>> +	struct security_hook_list *hp;
>> +	int rc;
>> +
>> +	/*
>> +	 * Special case handling because the "new" capabilities
>> +	 * should not be set until it has been determined that
>> +	 * all modules approve of the change. Passing NULL pointers
>> +	 * to all modules except the capabilty module as it is
>> +	 * expected that only the capability modules needs the
>> +	 * result pointers.
>> +	 *
>> +	 * cap_capset() must not be in the capability module hook list!
>> +	 */
>> +	list_for_each_entry(hp, &security_hook_heads.capset, list) {
>> +		rc = hp->hook.capset(new, old, NULL, NULL, NULL);
>> +		if (rc != 0)
>> +			return rc;
>> +	}
>> +	/*
>> +	 * Call cap_capset now to update the new capset.
>> +	 */
>> +	return cap_capset(new, old, effective, inheritable, permitted);
>>  }
>>  
>>  int security_capable(const struct cred *cred, struct user_namespace *ns,
>>
>> _______________________________________________
>> Selinux mailing list
>> Selinux@...ho.nsa.gov
>> To unsubscribe, send email to Selinux-leave@...ho.nsa.gov.
>> To get help, send an email containing "help" to Selinux-request@...ho.nsa.gov.
>>
>