[lkml]   [2011]   [Dec]   [5]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [PATCH 1/2] ima: split ima_add_digest_entry() function
    On Mon, 2011-12-05 at 11:04 +0100, Roberto Sassu wrote:

    > Hi Mimi
    > i think moving this logic to the TPM driver (or in general, delaying
    > the action after the list mutex is unlocked) is not safe, because in
    > this way you are relying on the kernel trustworthiness to protect
    > itself and IMA against unmeasured potential attacks. So, the verifier
    > is unable to detect a kernel tampering that removed the limitation
    > on the TPM Quote operation.
    > What i'm proposing in the patch:
    > is in fact a new extension, which is triggered by a new kernel
    > parameter, so that the behaviour of the base IMA is not modified.

    How/why the TPM fails is important. If the TPM fails because of an
    intermittent problem, then your solution of denying read/execute could
    work, but what would happen if it was persistent? Would you be able to
    quiesce the system?

    As there is no way of differentiating a persistent from intermittent
    failure, both need to be addressed in the same manor. For persistent
    TPM failure, we can not access the TPM to modify the PCR. So what
    options do we have left? My suggestion, though not optimal, prevents
    the IMA PCR from being quoted.

    From ima_queue.c: ima_add_template_entry()

    result = ima_pcr_extend(digest);
    if (result != 0) {
    audit_cause = "TPM error";
    audit_info = 0;

    Either in ima_pcr_extend() itself or as a new call, set a flag of some
    sort to prevent the TPM dd from quoting the IMA PCR.

    I'm open to other suggestions.

    > Instead, regardless of this patch, we should fix the memory leaks and
    > the memory reference errors as it has been proposed in the patch 2/2 of
    > this set.
    > Roberto Sassu

    Please separate bug fixes from any other changes.



     \ /
      Last update: 2011-12-05 14:09    [W:0.046 / U:7.284 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site