• Deven Bowers's avatar
    audit,ipe: add IPE auditing support · f44554b5
    Deven Bowers authored
    Users of IPE require a way to identify when and why an operation fails,
    allowing them to both respond to violations of policy and be notified
    of potentially malicious actions on their systems with respect to IPE
    itself.
    
    This patch introduces 3 new audit events.
    
    AUDIT_IPE_ACCESS(1420) indicates the result of an IPE policy evaluation
    of a resource.
    AUDIT_IPE_CONFIG_CHANGE(1421) indicates the current active IPE policy
    has been changed to another loaded policy.
    AUDIT_IPE_POLICY_LOAD(1422) indicates a new IPE policy has been loaded
    into the kernel.
    
    This patch also adds support for success auditing, allowing users to
    identify why an allow decision was made for a resource. However, it is
    recommended to use this option with caution, as it is quite noisy.
    
    Here are some examples of the new audit record types:
    
    AUDIT_IPE_ACCESS(1420):
    
        audit: AUDIT1420 ipe_op=EXECUTE ipe_hook=BPRM_CHECK enforcing=1
          pid=297 comm="sh" path="/root/vol/bin/hello" dev="tmpfs"
          ino=3897 rule="op=EXECUTE boot_verified=TRUE action=ALLOW"
    
        audit: AUDIT1420 ipe_op=EXECUTE ipe_hook=BPRM_CHECK enforcing=1
          pid=299 comm="sh" path="/mnt/ipe/bin/hello" dev="dm-0"
          ino=2 rule="DEFAULT action=DENY"
    
        audit: AUDIT1420 ipe_op=EXECUTE ipe_hook=BPRM_CHECK enforcing=1
         pid=300 path="/tmp/tmpdp2h1lub/deny/bin/hello" dev="tmpfs"
          ino=131 rule="DEFAULT action=DENY"
    
    The above three records were generated when the active IPE policy only
    allows binaries from the initramfs to run. The three identical `hello`
    binary were placed at different locations, only the first hello from
    the rootfs(initramfs) was allowed.
    
    Field ipe_op followed by the IPE operation name associated with the log.
    
    Field ipe_hook followed by the name of the LSM hook that triggered the IPE
    event.
    
    Field enforcing followed by the enforcement state of IPE. (it will be
    introduced in the next commit)
    
    Field pid followed by the pid of the process that triggered the IPE
    event.
    
    Field comm followed by the command line program name of the process that
    triggered the IPE event.
    
    Field path followed by the file's path name.
    
    Field dev followed by the device name as found in /dev where the file is
    from.
    Note that for device mappers it will use the name `dm-X` instead of
    the name in /dev/mapper.
    For a file in a temp file system, which is not from a device, it will use
    `tmpfs` for the field.
    The implementation of this part is following another existing use case
    LSM_AUDIT_DATA_INODE in security/lsm_audit.c
    
    Field ino followed by the file's inode number.
    
    Field rule followed by the IPE rule made the access decision. The whole
    rule must be audited because the decision is based on the combination of
    all property conditions in the rule.
    
    Along with the syscall audit event, user can know why a blocked
    happened. For example:
    
        audit: AUDIT1420 ipe_op=EXECUTE ipe_hook=BPRM_CHECK enforcing=1
          pid=2138 comm="bash" path="/mnt/ipe/bin/hello" dev="dm-0"
          ino=2 rule="DEFAULT action=DENY"
        audit[1956]: SYSCALL arch=c000003e syscall=59
          success=no exit=-13 a0=556790138df0 a1=556790135390 a2=5567901338b0
          a3=ab2a41a67f4f1f4e items=1 ppid=147 pid=1956 auid=4294967295 uid=0
          gid=0 euid=0 suid=0 fsuid=0 egid=0 sgid=0 fsgid=0 tty=pts0
          ses=4294967295 comm="bash" exe="/usr/bin/bash" key=(null)
    
    The above two records showed bash used execve to run "hello" and got
    blocked by IPE. Note that the IPE records are always prior to a SYSCALL
    record.
    
    AUDIT_IPE_CONFIG_CHANGE(1421):
    
        audit: AUDIT1421
          old_active_pol_name="Allow_All" old_active_pol_version=0.0.0
          old_policy_digest=sha256:E3B0C44298FC1C149AFBF4C8996FB92427AE41E4649
          new_active_pol_name="boot_verified" new_active_pol_version=0.0.0
          new_policy_digest=sha256:820EEA5B40CA42B51F68962354BA083122A20BB846F
          auid=4294967295 ses=4294967295 lsm=ipe res=1
    
    The above record showed the current IPE active policy switch from
    `Allow_All` to `boot_verified` along with the version and the hash
    digest of the two policies. Note IPE can only have one policy active
    at a time, all access decision evaluation is based on the current active
    policy.
    The normal procedure to deploy a policy is loading the policy to deploy
    into the kernel first, then switch the active policy to it.
    
    AUDIT_IPE_POLICY_LOAD(1422):
    
        audit: AUDIT1422 policy_name="boot_verified" policy_version=0.0.0
          policy_digest=sha256:820EEA5B40CA42B51F68962354BA083122A20BB846F2676
          auid=4294967295 ses=4294967295 lsm=ipe res=1
    
    The above record showed a new policy has been loaded into the kernel
    with the policy name, policy version and policy hash.
    Signed-off-by: default avatarDeven Bowers <deven.desai@linux.microsoft.com>
    Signed-off-by: default avatarFan Wu <wufan@linux.microsoft.com>
    [PM: subject line tweak]
    Signed-off-by: default avatarPaul Moore <paul@paul-moore.com>
    f44554b5
Makefile 306 Bytes