lkml.org 
[lkml]   [2020]   [Sep]   [24]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCH v38 10/24] mm: Add vm_ops->mprotect()
    On Thu, Sep 24, 2020 at 07:50:15AM -0700, Dave Hansen wrote:
    > On 9/23/20 7:33 AM, Jarkko Sakkinen wrote:
    > > The consequence is that enclaves are best created with an ioctl API and the
    > > access control can be based only to the origin of the source file for the
    > > enclave data, i.e. on VMA file pointer and page permissions. For example,
    > > this could be done with LSM hooks that are triggered in the appropriate
    > > ioctl's and they could make the access control decision based on this
    > > information.
    > >
    > > Unfortunately, there is ENCLS[EMODPE] that a running enclave can use to
    > > upgrade its permissions. If we do not limit mmap() and mprotect(), enclave
    > > could upgrade its permissions by using EMODPE followed by an appropriate
    > > mprotect() call. This would be completely hidden from the kernel.
    > >
    > > Add 'mprotect' hook to vm_ops, so that a callback can be implemeted for SGX
    > > that will ensure that {mmap, mprotect}() permissions do not surpass any of
    > > the original page permissions. This feature allows to maintain and refine
    > > sane access control for enclaves.
    >
    > Maybe I'm just being dense, but I still don't have a clear idea what
    > function this hook serves.
    >
    > I understand that SGX has an orthogonal set of page permissions to the
    > normal x86 page tables. It needs these so that the OS can't play nasty
    > tricks on the enclave, like removing read-only protections that provide
    > hardening.
    >
    > But, I still don't get the connection to mprotect() and the x86 paging
    > permissions. If the enclave's permissions are orthogonal, then why
    > bother with this hook? Why does the OS view of the enclave's memory matter?

    For the purpose of this discussion, ignore the enclave permissions. The only
    reason they're mentioned is to explain the background (well, try to) of how we
    ended up at an ->mprotect() hook. There was a great deal of discussion in the
    past about whether or not we could use enclave permissions to enforce OS
    permissions. The TL:DR version is that because of ENCLU[EMODPE], the answer
    is "no".

    What we're preventing via ->mprotect() is using SGX to bypass existing
    restrictions on code execution, e.g. noexec and LSM policies.

    Because code must first be loaded into an enclave before it can be executed,
    all enclaves are kind of a variant on (in SELinux terminology) either EXECMOD
    or EXECMEM. I.e. it's simply not possible to execute an enclave by mapping
    the source file as executable. This effectively allows userspace to bypass a
    noexec FS by loading code into an enclave without EXEC perms on the source
    file, only on /dev/sgx/enclave, and denying EXEC on /dev/sgx/enclave would
    prevent running _any_ enclave.

    The ->mprotect() hook is used by SGX to require userspace to declare what
    permissions are allowed on any given enclave page, e.g. SGX's mmap()/mprotect()
    requires all underlying enclave pages to be declared as executable if the
    mmap()/mprotect() is specifying VM_EXEC. By requiring userspace to declare
    their intent up front, SGX can then enforce noexec by requiring pages that are
    declared as executable to have VM_MAYEXEC set in the source VMA when loading
    code into the enclave.

    As Jarkko pointed out, an alternative to adding ->mprotect() would be to
    simply require VM_MAYEXEC on _all_ source VMAs when loading code into the
    enclave. That would work, albeit with the potentially undesirable side effect
    of preventing loading any part of an enclave from e.g. a noexec, readonly FS.

    But, unconditionally requiring VM_MAYEXEC doesn't address the Linux Security
    Module hooks for mmap() and mprotect(), which could also be bypassed by abusing
    SGX. E.g. a process could gain arbitrary code execution by loading code from
    anonymous memory into an enclave, as the LSM checks hooks at mmap()/mprotect()
    will see always vm_file=/dev/sgx/enclave. An LSM could deny a process access
    to /dev/sgx/enclave, but again that is very coarse granularity.

    By requiring userspace to declare permissions up front (when loading code/data
    into an enclave), SGX can make explicit upcalls to LSMs hooks at load time so
    that an LSM can enforce a meaningful policy, e.g. require all enclave code to
    originate from an executable file system. This series doesn't actually
    implement the LSM integration, but it does ensure that _if_ we want to add LSM
    support in the future, we can do so without breaking userspace.

    \
     
     \ /
      Last update: 2020-09-24 18:29    [W:12.908 / U:0.012 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site