From owner-freebsd-hackers@freebsd.org Mon Mar 27 18:37:38 2017 Return-Path: Delivered-To: freebsd-hackers@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 54237D2072F for ; Mon, 27 Mar 2017 18:37:38 +0000 (UTC) (envelope-from shawn.webb@hardenedbsd.org) Received: from mail-qk0-x229.google.com (mail-qk0-x229.google.com [IPv6:2607:f8b0:400d:c09::229]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 0B12D947 for ; Mon, 27 Mar 2017 18:37:38 +0000 (UTC) (envelope-from shawn.webb@hardenedbsd.org) Received: by mail-qk0-x229.google.com with SMTP id p22so46619175qka.3 for ; Mon, 27 Mar 2017 11:37:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=hardenedbsd-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:cc:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=RbKMRDO2TFZMhcGD7fNKwTsEG+dL/ZG80nITzzt9IH8=; b=HnmSZAA9WKbl7NfLByBOF5o30xVxW+W0m+VaKM76TNmfI2rFlvsKU8DWcnyeiX4GOL TY2MIoDJhfvJ8sD99yLSZoOHAX+kQn3tURSZlaxoVAcLtRIP74aeT+JhbvyQtAPEcctn WI/nZn5lMXWBciaqaOINq5v/J9gjMtMSsC9xXGZd9tN2zOVc22SEQ8uRo3ze4f7aPBuN ZOzMG+b7dZvFR52VeSanOragLS6ml3QmvUHt+Aofplp8t+6ixjxCRgduMWhUWxq0eA4O n5FkmOu3Muq3e6HJO2L0M1NzXo28+NSXQTrMtJxqLiRPks0NCkHhzsZ60aHR+jZEdiA6 cazQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=RbKMRDO2TFZMhcGD7fNKwTsEG+dL/ZG80nITzzt9IH8=; b=CoLBboNITgG0ayVcOaniL/g0fJetFa+HbOO5LQGen86i3ifXobugIu++mXxW4YvB3C RzfJSdmqqdgZUjsNR8Xd1axCoqh/u7LCWN1Wc8lRPLc4Ptfb2F+/d3URXk/UgUw+shd0 hxyjmn/b8ytV0rfniHixWBTIFxqPakTbud+EyhxvzzdkNQK2Qep6Wvqxi207LIiHJjQK wCzdy+HawPlzOr9CbGLf5hiycOw/F1WZDNxxn9cOVOxM/VvQXFgRpdkHtKD+gpBEGWum ymwPYA7QohvpXIqpnumk5MB7XvFk0SoAF8nHcS98C/s/sV9ra56VwAe79aSQXNeA1O7o VFuQ== X-Gm-Message-State: AFeK/H3fP7H2bPRRooY9PdTkq2HQ+H5O6UH0Gy9JfZqRE0ab2DEzQpfYprfVGzHAt1zo646A X-Received: by 10.55.134.5 with SMTP id i5mr19528502qkd.29.1490639856888; Mon, 27 Mar 2017 11:37:36 -0700 (PDT) Received: from mutt-hbsd ([63.88.83.66]) by smtp.gmail.com with ESMTPSA id d4sm920000qkf.30.2017.03.27.11.37.36 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 27 Mar 2017 11:37:36 -0700 (PDT) Date: Mon, 27 Mar 2017 14:37:35 -0400 From: Shawn Webb To: Eric McCorkle Cc: "freebsd-hackers@freebsd.org" , freebsd-security@freebsd.org Subject: Re: Proposal for a design for signed kernel/modules/etc Message-ID: <20170327183735.uokjhjaafkawc2id@mutt-hbsd> References: <6f6b47ed-84e0-e4c0-9df5-350620cff45b@metricspace.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="2iuyerr5quyn3eol" Content-Disposition: inline In-Reply-To: <6f6b47ed-84e0-e4c0-9df5-350620cff45b@metricspace.net> X-Operating-System: FreeBSD mutt-hbsd 12.0-CURRENT-HBSD FreeBSD 12.0-CURRENT-HBSD X-PGP-Key: http://pgp.mit.edu/pks/lookup?op=vindex&search=0x6A84658F52456EEE User-Agent: NeoMutt/20170206 (1.7.2) X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 27 Mar 2017 18:37:38 -0000 --2iuyerr5quyn3eol Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hey Eric, Thank you for writing this! ELF binary signing has been on my ever-growing list of things to research and develop. If you'd like help, please let me know. I have a few comments, which I've made inline. On Mon, Mar 27, 2017 at 01:54:44PM -0400, Eric McCorkle wrote: > Hello everyone, >=20 > The following is a design proposal for signed kernel and kernel module > loading, both at boot- and runtime (with the possibility open for signed > executables and libraries if someone wanted to go that route). I'm > interested in feedback on the idea before I start actually writing code > for it. >=20 > =3D=3D Goals =3D=3D >=20 > 1) Be able to check for a correct cryptographic signature for any kernel > or modules loaded at boot time for some platforms (EFI at a minimum). >=20 > 2) Be able to check for a correct cryptographic signature for any kernel > module loaded during normal operations (whether or not to do this could > be controlled by a sysctl, securelevel, or some similar mechanism) >=20 > 3) Work with what's in base already and minimize new additions (ideally, > just a small utility to sign executables) >=20 > 4) Minimize administrative overhead and ideally, require no changes at > all to maintain signed kernel/modules >=20 > 5) Have a clear path for supporting signed executables/libraries (I'm > not planning on pursuing this, but it's worth considering that someone > might want to) >=20 > 6) The design *MUST* support the case where a system builds locally and > uses its own key(s) for signing kernels and modules (and anything else) > and *MUST* allow the administrator complete control over which key(s) > are valid for a given system (ie. no "master keys" controlled by central > organizations) >=20 > 7) The design must allow for the adoption of new ciphers (there is an > inevitable shift to post-quantum ciphers coming in the near future) As git has shown, having a modular/configurable crypto interface is the best route. Right now, git is stuck using SHA1 because they didn't support users being able to choose which hashing algorithm to use. >=20 > =3D=3D Non-Goals =3D=3D >=20 > * Hardware/firmware-based attacks are considered out-of-scope (there is > no viable method for defending against them at the OS level) >=20 > * Boot platforms that don't provide their own signature-checking > framework up to loader/kernel can't be properly secured, and are > considered out-of-scope >=20 > * Boot platforms that impose size restrictions prohibiting incorporation > of RSA and ED25519 crypto code (ex. i386 BIOS) are considered out-of-scope >=20 > * GRUB support is desirable, however it is not necessary to support GRUB > out-of-the-box (meaning a design requiring reasonable modifications to > GRUB is acceptable). >=20 > * I am not aiming to support signed executables/libraries now, only to > avoid shutting the door on them. Since FreeBSD uses ELF for the kernel and its modules, it should be rather straightforward to apply the same work towards userland binaries and shared libraries. >=20 > =3D=3D Existing Solution(s) =3D=3D >=20 > EFI has a decent design with regard to key management (platform key, > which signs system keys, which sign the actual loader); however, its > cipher suite is sorely lacking (many broken hashes and weak ciphers, RSA > 2048 being the "strongest", no ECC). It also only works with the COFF > format, and is only available at boot time. However, it does provide a > chain of custody up to loader (to the extent that anyone trusts > closed-source firmware blobs, SHA1, and 512-2048 bit RSA keys...) Many > implementations also have master keys "baked in" that would allow > anything signed by random third parties (Microsoft) to boot regardless > of local configurations, or they don't provide any sort of control over > (or even access to) the keys at all. >=20 > EFI obviously isn't viable beyond boot time, and misses most of the > goals even there. Its key management hierarchy is an overall good > design, however. >=20 > GRUB currently supports signature checking. It can be configured to > require signatures for any of its own modules as well as any kernel or > modules that it loads. These signatures are stored *outside* the > executable/library, in a file with an added .sig extension. The format > is that of an external signature for the entire ELF file as produced by > the gnupg program. >=20 > Linux (I believe) also supports signature checking for modules using the > same convention. >=20 > While functional, this design doesn't meet the goals I outlined: >=20 > * It relies on the gnupg framework, which is not part of FreeBSD base, > and adding it would be a chore (and would end up duplicating a lot of > functionality provided by OpenSSL) >=20 > * It stores the signature separate from the file, which leads to x2 the > number of files, would require modifying existing scripts, and > complicates administrative tasks. It also leads to failure modes like > stale signatures. >=20 > * There are potential legitimate modifications to non-code parts of an > ELF file (such as the .comment section or other similar sections) that > would require re-signing the entire file. >=20 > * The previous two problems really start to look bad when you consider > signed executables and libraries, possibly with third-party > build/install scripts... >=20 > * Finally, the gnupg signature format doesn't actually seem to be > documented anywhere, or at least not anywhere that doesn't require a lot > of digging... >=20 >=20 > An alternate solution, which I believe is used in some places is to wrap > the entire executable in a PGP envelope-like format. This solves the > issue of an external signature file, but would require extensive > modification to the ELF parsing code, let alone the binutils programs > that read/modify ELF files. This solution also isn't > backwards-compatible at all. Old loaders/kernels will choke on the > signed libraries. Whatever is chosen, it should be fully-functional with only the utilities base provides. >=20 > =3D=3D Proposal=3D=3D >=20 > My proposal is to store cryptographic signatures within the ELF files > themselves in a non-loadable section (similar to the .comment section). >=20 > As background, the ELF file format has a number of different section > types, only some of which comprise the program/library/module's runtime > state. The ELF specification and tools provide some "standard" sections > with defined meanings, but nothing stops anyone from adding their own > sections. The ELF file format is quite flexible, and it is not > difficult to add custom metadata to an ELF file. [0] >=20 > In this proposal, cryptographic signatures would be stored in a > .signature (or .sig) section. This section would contain an array of > signature constructs: one for each loadable segment in the ELF file. > Signatures are computed for the contents of the segment's file data (ie. > the data from p_offset to p_filesz, for the corresponding program header > entry) along with all data from its program header entry except for > p_offset and p_filesz. This scheme allows the actual data to be moved > around in the file, so long as it (or the relevant program header data) > isn't modified. You might want to take a look at Microsoft's Authenticode. Microsoft made some mistakes early on that allowed attackers to easily trojan signed binaries. Your proposal up to this point makes those same mistakes. It's been a few years since I researched Authenticode, so I don't have any links or documentation handy. The conclusion Microsoft came to is that the file as a whole must be signed, including offset metadata. Essentially, you'd determine how large the .sig section needs to be ahead of time, create it and fill it with zeros, then sign the whole file, stuffing the signature in the zeroed .sig section. Same concept as calculating checksums of ICMP packets. This prevents attackers from modifying critical pieces of metadata, pointing them to maliciuos payloads. It also prevents attackers from appending malicious data to the end of a loadable segment (something Authenticode suffered from early on). >=20 > The exact format of this data can be discussed, but a design where the > signature array corresponds to the program header array seems quite > reasonable. The format of the signatures themselves should be something > from a well-defined standard, reasonably extensible, and supported by > tools in base. >=20 > =3D=3D Summary of Changes =3D=3D >=20 > The following changes would be required: >=20 > 1) Add a userland utility for signing ELF files (call it "signelf"). > This would be a pretty straightforward application of OpenSSL and libelf. >=20 > 2) Modify ELF-parsing code in loader and kernel to check signatures and > indicate whether a given file had good signatures for all of its > loadable segments. >=20 > 3) Have loader/kernel issue warnings or reject kernels/modules with > incomplete/incorrect/no signatures >=20 > 4) Decide how to go about building public key data into loader/kernel or > how to register keys with the kernel (it is probably OK to implement a > "bake it in" solution first, then figure out dynamic registration of > keys as a follow-up; somebody out there is sure to want just the "bake > it in" solution with no dynamic registration for security reasons, and > we need it for loader anyway). >=20 > 5) Submit a patch against GRUB to support the ELF metadata method in > addition to their existing method. >=20 > The most involved part of this is adding the public-key crypto code into > loader and the kernel. My recommendation for this is to grab the RSA > and ED25519 code from NaCL. It's compact, self-contained, written by > crypto people with a good handle on the systems side of things (DJB's > group), and licensed under a BSD-compatible license. Also, the > loader/kernel side code only needs signature-checking, not full > public-key functionality. >=20 > =3D=3D Rationale =3D=3D >=20 > The ELF metadata approach eliminates all of the disadvantages of the > GRUB external signatures method, while maintaining compatibility with > existing systems. Older systems will simply ignore the .signature > metadata section and function normally and from a sysadmin standpoint, > signed executables/libraries are just slightly larger versions of the > unsigned variants. Moreover, ELF metadata that isn't part of the > executable sections can be freely modified, and signed ELF files can be > re-signed. >=20 > Having a separate signature for each segment in the program header table > is slightly more complicated than the simplest solution of having one > signature for all program header sections. However, this approach > provides more flexibility going forward. It also accounts for the fact > that we might not want to sign all portions of the file. Finally, as > designed, it allows the file to be modified freely as long as the > runtime behavior isn't affected. >=20 > There is a rather simple design possibility if anyone wanted to go the > signed executable/library route: have an mmap variant with an additional > parameter pointing to the signature would lead to a very simple > modification of the userland dlopen functionality. Normal mmap would > just become a wrapper around the secure variant, which passes in NULL > for the signature (alternatively, you could pass in a default key built > into the local libc, or something similar). Userland shouldn't be trusted to enforce digital signatures. What if someone at link time specifies a non-default RTLD? To enforce digital signatures of userland binaries/libraries, the ELF image activator should be modified to verify the DT_NEEDED entries. >=20 > =3D=3D Conclusion =3D=3D >=20 > This seems like a good point in the design space: it doesn't break > anything, it doesn't require massive changes or rearchitecting of > anything, it provides everything I want to provide now, and it leaves > the door open to things people might want to do in the future. >=20 > Please provide feedback, comments, and suggestions. >=20 >=20 > [0]: There actually is at least one example of something like this of > which I'm aware. The Intel C Compiler (icc, "proton" by Intel internal > naming) has an interprocedural optimization mode which produces .o files > containing the compiler's intermediate representation in a special > section as well as object code in the usual sections (incidentally, in > the distant past, icc would actually produce separate .o and .il files; > this was later changed to the ELF metadata solution, for the very reason > that it complicated build scripts quite a bit). This allows "normal" > compilers and compilation modes to use the object code, while icc uses > the intermediate representation. >=20 The only other major thing to discuss is supporting public key chaining. Ideally, digital signature support should also support chaining multiple keys (similar to X.509 PKI). If the accepted solution supported cert chaining, then the solution would be more modular. I don't want to go down the route of the SSL/TLS PKI mess, but supporting chaining is a must in some enterprise environments. If we were to support chaining, we could even stuff the pubkey half of the key material into another ELF section, so that if a key becomes compromised, the old pubkey can be revoked from the trust store and a new binary can be generated with new key material. The trusted root doesn't need to be cycled as often. HardenedBSD, for example, distributes the pubkey that corresponds to the signing privkey inside the update tarball for binary updates[1]. This allows us to change key material often if desired without the user even noticing. [1]: https://hardenedbsd.org/article/shawn-webb/2015-12-31/introducing-hard= enedbsds-new-binary-updater Caveat with the above-linked article: hbsd-update has undergone additional changes not reflected in the original article. Thanks, --=20 Shawn Webb Cofounder and Security Engineer HardenedBSD GPG Key ID: 0x6A84658F52456EEE GPG Key Fingerprint: 2ABA B6BD EF6A F486 BE89 3D9E 6A84 658F 5245 6EEE --2iuyerr5quyn3eol Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEKrq2ve9q9Ia+iT2eaoRlj1JFbu4FAljZW+0ACgkQaoRlj1JF bu4IhxAAlmF0xnGQFGomaYjB2BKc0+oqgawlJ6Xeib0UVSVAl8U3DhnyOlTduTvC 7Olhu3XUqiVd2ggJwihlQJSZ0oO0HTqMx1bMm9uBFDpOQEzLA460ZITOIRiUprzl bEgiOTY4yGWtM9MkQSqhCZFomXqhVNOY4OxLNXp0eXmysug/gaNu9JQD6N2t14Hx e2dCBVAgitK9D/qbYYrxBo53wFQYCTqlQuzEBNG+V8rACrV4mIYFl9T07et02T9/ fMGyZCT/nnsBwyKawKK/M+y7PPnDNm8X5PeWhOgwRm9yfzg3qWRmTMak3NLP5C1+ hqvobjTZcFA2wdRy6Ur8kHcEtSPR7fwgljFzNsK1usLCMBfKZkM19/iTHgdno70l S6gvd4ZKlQb9MgBx2ykBIbC18JfT7mubxQTav09nPB/tk1t+L2HF5MjE8Wx0+eeK YqJSxD3SyH3Q3zixFti5rePQKxlwhHOOZzQR443e7TuPC9iWtIn5rz1ON5xPsHZS jY78nmU1w0DvZoKc/WaMOQWhLaR9P7Oh3T7Urwsa+W0RDmYoZIHvqf3lOb+Kq+Wv SHSNe8EwQvUzIm/aF47G+cNiwHhocxWVWTqpFemWMzyiAxBV0YGFELzvMiYiL1YP logTqsSKQeXYhdL30J7I5Rf2eMXjCNmaFhh9Z6/3qDq9yPu1XLg= =C5y9 -----END PGP SIGNATURE----- --2iuyerr5quyn3eol--