On Mon, May 13, 2019 at 02:47:04PM +0200, Roberto Sassu wrote: > On 5/13/2019 11:07 AM, Rob Landley wrote: > > > > > > On 5/13/19 2:49 AM, Roberto Sassu wrote: > >> On 5/12/2019 9:43 PM, Arvind Sankar wrote: > >>> On Sun, May 12, 2019 at 05:05:48PM +0000, Rob Landley wrote: > >>>> On 5/12/19 7:52 AM, Mimi Zohar wrote: > >>>>> On Sun, 2019-05-12 at 11:17 +0200, Dominik Brodowski wrote: > >>>>>> On Thu, May 09, 2019 at 01:24:17PM +0200, Roberto Sassu wrote: > >>>>>>> This proposal consists in marshaling pathnames and xattrs in a file called > >>>>>>> .xattr-list. They are unmarshaled by the CPIO parser after all files have > >>>>>>> been extracted. > >>>>>> > >>>>>> Couldn't this parsing of the .xattr-list file and the setting of the xattrs > >>>>>> be done equivalently by the initramfs' /init? Why is kernel involvement > >>>>>> actually required here? > >>>>> > >>>>> It's too late. The /init itself should be signed and verified. > >>>> > >>>> If the initramfs cpio.gz image was signed and verified by the extractor, how is > >>>> the init in it _not_ verified? > >>>> > >>>> Ro > >>> > >>> Wouldn't the below work even before enforcing signatures on external > >>> initramfs: > >>> 1. Create an embedded initramfs with an /init that does the xattr > >>> parsing/setting. This will be verified as part of the kernel image > >>> signature, so no new code required. > >>> 2. Add a config option/boot parameter to panic the kernel if an external > >>> initramfs attempts to overwrite anything in the embedded initramfs. This > >>> prevents overwriting the embedded /init even if the external initramfs > >>> is unverified. > >> > >> Unfortunately, it wouldn't work. IMA is already initialized and it would > >> verify /init in the embedded initial ram disk. How does this work today then? Is it actually the case that initramfs just cannot be used on an IMA-enabled system, or it can but it leaves the initramfs unverified and we're trying to fix that? I had assumed the latter. > > > > So you made broken infrastructure that's causing you problems. Sounds unfortunate. > > The idea is to be able to verify anything that is accessed, as soon as > rootfs is available, without distinction between embedded or external > initial ram disk. > > Also, requiring an embedded initramfs for xattrs would be an issue for > systems that use it for other purposes. > The embedded initramfs can do other things, it just has to do the xattr stuff in addition, no? > > >> The only reason why > >> opening .xattr-list works is that IMA is not yet initialized > >> (late_initcall vs rootfs_initcall). > > > > Launching init before enabling ima is bad because... you didn't think of it? > > No, because /init can potentially compromise the integrity of the > system. > How? The /init in the embedded initramfs is part of a trusted kernel image that has been verified by the bootloader. > > >> Allowing a kernel with integrity enforcement to parse the CPIO image > >> without verifying it first is the weak point. > > > > If you don't verify the CPIO image then in theory it could have anything in it, > > yes. You seem to believe that signing individual files is more secure than > > signing the archive. This is certainly a point of view. > > As I wrote above, signing the CPIO image would be more secure, if this > option is available. However, a disadvantage would be that you have to > sign the CPIO image every time a file changes. > > > >> However, extracted files > >> are not used, and before they are used they are verified. At the time > >> they are verified, they (included /init) must already have a signature > >> or otherwise access would be denied. > > > > You build infrastructure that works a certain way, the rest of the system > > doesn't fit your assumptions, so you need to change the rest of the system to > > fit your assumptions. > > Requiring file metadata to make decisions seems reasonable. Also > mandatory access controls do that. The objective of this patch set is to > have uniform behavior regardless of the filesystem used. > > > >> This scheme relies on the ability of the kernel to not be corrupted in > >> the event it parses a malformed CPIO image. > > > > I'm unaware of any buffer overruns or wild pointer traversals in the cpio > > extraction code. You can fill up all physical memory with initramfs and lock the > > system hard, though. > > > > It still only parses them at boot time before launching PID 1, right? So you > > have a local physical exploit and you're trying to prevent people from working > > around your Xbox copy protection without a mod chip? > > What do you mean exactly? > > > >> Mimi suggested to use > >> digital signatures to prevent this issue, but it cannot be used in all > >> scenarios, since conventional systems generate the initial ram disk > >> locally. > > > > So you use a proprietary init binary you can't rebuild from source, and put it > > in a cpio where /dev/urandom is a file with known contents? Clearly, not > > exploitable at all. (And we update the initramfs.cpio but not the kernel because > > clearly keeping the kernel up to date is less important to security...) > > By signing the CPIO image, the kernel wouldn't even attempt to parse it, > as the image would be rejected by the boot loader if the signature is > invalid. > If it were signed yes, but you just said that it isn't possible to sign it in all cases (if initramfs is generated locally). I actually didn't follow that bit -- if initramfs is generated locally, and it isn't possible to sign locally, where would the IMA hashes for the contents of the initramfs come from? Is the idea that each file within the initramfs would be an existing, signed, file, but you could locally create an initramfs with some subset of those unmodified files? Even assuming this is the case, isn't the eventual intention to also appraise directories, to prevent holes where files might be moved around/deleted/renamed etc, so this problem would resurface anyway? Also eventually we need to check special nodes like device nodes etc to make sure they haven't been tampered with, as in Rob's urandom suggestion? > > > Whatever happened to https://lwn.net/Articles/532778/ ? Modules are signed > > in-band in the file, but you need xattrs for some reason? > > Appending just the signature would be possible. It won't work if you > have multiple metadata for the same file. > > Also appending the signature alone won't solve the parsing issue. Still, > the kernel has to parse something that could be malformed. > > Roberto > > > >> Roberto > > > > Rob > > > > -- > HUAWEI TECHNOLOGIES Duesseldorf GmbH, HRB 56063 > Managing Director: Bo PENG, Jian LI, Yanli SHI