lkml.org 
[lkml]   [2017]   [Oct]   [6]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Draft manpage explaining kernel lockdown
Hi David,

On Thu, Oct 05, 2017 at 12:00:24PM +0100, David Howells wrote:
> Hi Ard, Michael,
>
> Attached is a draft for a manual page (kernel_lockdown.7) that I intend to
> point at from messages emitted when the kernel prohibits something because the
> kernel is in 'lockdown' mode, typically triggered by EFI secure boot.
>
> Let me know what you think.
>
> David
> ---
[...snip]
> When lockdown is in effect, a number of things are disabled or restricted in
> use. This includes special device files and kernel services that allow direct
> access of the kernel image:
> .P
> .RS
> /dev/mem
> .br
> /dev/kmem
> .br
> /dev/kcore
> .br
> /dev/ioports
> .br
> BPF memory access functions

Some information for note...

The BPF functions bpf_probe_read(), bpf_trace_printk() and
bpf_probe_write_user() need to be lockdown to avoid accessing
arbitrary addess.

Our original idea is trying to filter out senstivie data address
at runtime by eBPF verifier. But it can not be success. Gary Lin has
investigated and comment:

Although eBPF verifier can stop the reading from the hard-coded address,
it's not able to stop reading arguments in the probed functions. So if
the malicious user attaches a eBPF program to a function that is used to
process the sensitive data, the eBPF program can print those arguments
easily and this might leak the passwords or private keys.

If we readlly want to allow eBPF code to access memory, then I think that the
bpf bytecode should be signed by trused key in system keyring.

> .RE
> .P

Another function may needs to be restrictred:

- The perf_event_open() with PERF_SAMPLE_REGS_INTR

Jann Horn raised this concern. The tool can be used to grab register
to peep sensitive data. We may need to block this tracing function.

Regards
Joey Lee

\
 
 \ /
  Last update: 2017-10-06 09:47    [W:0.126 / U:21.968 seconds]
©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site