Re: [Anima] verification of manufacturer in BRSKI

Toerless Eckert <tte@cs.fau.de> Tue, 20 February 2018 00:18 UTC

Return-Path: <eckert@i4.informatik.uni-erlangen.de>
X-Original-To: anima@ietfa.amsl.com
Delivered-To: anima@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 90D161241FC for <anima@ietfa.amsl.com>; Mon, 19 Feb 2018 16:18:45 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.96
X-Spam-Level:
X-Spam-Status: No, score=-3.96 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.25, RCVD_IN_DNSWL_MED=-2.3, T_RP_MATCHES_RCVD=-0.01] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id AWkdhl0SXzOj for <anima@ietfa.amsl.com>; Mon, 19 Feb 2018 16:18:43 -0800 (PST)
Received: from faui40.informatik.uni-erlangen.de (faui40.informatik.uni-erlangen.de [131.188.34.40]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id E48F9120227 for <anima@ietf.org>; Mon, 19 Feb 2018 16:18:42 -0800 (PST)
Received: from faui40p.informatik.uni-erlangen.de (faui40p.informatik.uni-erlangen.de [131.188.34.77]) by faui40.informatik.uni-erlangen.de (Postfix) with ESMTP id 2F27158C514; Tue, 20 Feb 2018 01:18:38 +0100 (CET)
Received: by faui40p.informatik.uni-erlangen.de (Postfix, from userid 10463) id 0B384B0DAE7; Tue, 20 Feb 2018 01:18:37 +0100 (CET)
Date: Tue, 20 Feb 2018 01:18:37 +0100
From: Toerless Eckert <tte@cs.fau.de>
To: Michael Richardson <mcr+ietf@sandelman.ca>
Cc: anima@ietf.org, Anoop Kumar Pandey <anoop@cdac.in>
Message-ID: <20180220001837.GA21510@faui40p.informatik.uni-erlangen.de>
References: <003101d3a570$32e4c510$98ae4f30$@cdac.in> <22127.1519000017@obiwan.sandelman.ca>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <22127.1519000017@obiwan.sandelman.ca>
User-Agent: Mutt/1.5.21 (2010-09-15)
Archived-At: <https://mailarchive.ietf.org/arch/msg/anima/kBLiHHidzbGhqx5zA7uOhm0_1Zg>
Subject: Re: [Anima] verification of manufacturer in BRSKI
X-BeenThere: anima@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Autonomic Networking Integrated Model and Approach <anima.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/anima>, <mailto:anima-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/anima/>
List-Post: <mailto:anima@ietf.org>
List-Help: <mailto:anima-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/anima>, <mailto:anima-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 20 Feb 2018 00:18:45 -0000

Nonwithstanding the more detailled explanations you provided for Anoop,
what i wuild think to be helpful to write into the security ection is like this:

Domain trusting pledge/manufacturer:

BRSKI does not fundamentally change this from RFC7030 EST assuming a pledge used
its IDevID with RFC7030 EST. In both cases, domain (registrar) needs to trust the manufacturer
and potentially some more detailled set of devices if manufacturer provides
such informatio (e.g.: do not trust the following serial numbers, they where
stolen from manufacturer warehouse). The domain (registrar) can authenticate and authorize
the IDevID of the pledge. Establishing this trust between domain and
manufacturer is outside the scope of BRSKI. Worst case, a domain needs to
manually provision the trust anchor for every manufacturer. Better yet, third
parties may provide signing services for manufacturer trust anchors similar to WebPKI.
BRSKI does refine EST in this respect only in demandin that pledges must not
excludeproxies/registrars after having been rejected first because the domain may
take time / manual action 

Btw, and i think this may go further than what might fit into BRSKI, especially given
how as noted above, this is not specific to BRSKI (but would equally work for just EST):

If we could educate the industry more on the use of IDevIDs, then we could end up
wih something a lot more useful than WebPKI. There are a lot of organizations that
provide all type of certifications and qualifications for devices, ranging from jokes
like "CE" over to faily useful securiy behavior certifications such as "FIPS-140".

If manufacturers would start to assign for every device-type they produce another
sub-trust-anchor with which they sign the IDevIDs of that device-type, then 
the certification organizations could sign those sub-trust-anchors after the
device type passed the certification. That would be a cryptographic equivalent of
putting certification stickers onto products.

Of course, this would only provide more security to the domains if the label
implied comes with a certification agency thats worth anything. CE for example
is self-certification by the industry, so completely useless.

Cheers
    toerless

On Sun, Feb 18, 2018 at 07:26:57PM -0500, Michael Richardson wrote:
> 
> {sorry if this is a duplicate, my draft folder says it did not go out}
> 
> Anoop Kumar Pandey <anoop@cdac.in> wrote directly to the draft authors list,
> and then gave me permission to share this on the list:
>     Anoop> This is in context to the RFC detailing process of enrolling a pledge to a
>     Anoop> domain. The major problem with the procedure is that the registrar doesn???t
>     Anoop> verify the manufacturer. It simply verifies the voucher and enrols the
>     Anoop> pledge. If pledge send a self-defined URL of manufacturer where provision for
>     Anoop> issuing fake vouchers is in place, then the registrar can be fooled into
>     Anoop> enrolment [assuming the registrar can???t know all the manufacturers
>     Anoop> exhaustively] and later exploited from inside the domain. Additionally pledge
>     Anoop> and a random manufacturer can also collaborate to do the same.
> 
> You raise a number of issues.
> 
> So let me name them so that we can discuss them easier, and make sure that I
> understand you correctly.
> Probably, we need to add some text to the Security Considerations, and I
> would welcome your help in crafting that text!
> 
>     Anoop> In the similar way a registrar may collaborate with the manufacturer to lure
>     Anoop> a device using fake voucher.
> 
>     Anoop> How can these problems be tackled?
> 
> I agree that the Pledge may point at any Manufacturer (in the form of a MASA)
> that it wishes to.   The following identities exist:
> 
> 1) The Pledge's Identity (PI) in the form an IDevID certificate.
>    (It signs the voucher request to the JRC, and the Client side of the TLS
>    connection from Pledge to JRC)
> 2) The Manufacturer's Identity (MI) which signs the IDevID certificate.
> 3) The MASA Identity (MASA) which signs the voucher.
> 4) The Join Registrar (JRC) which signs the voucher request to the MASA.
>    It also signs the Server side of the TLS connection from Pledge to JRC.
> 5) The Domain PKI Certificate Authority, which signs the LDevID.
> 
> (The MI might be the same as the MASA, but in general the MASA
> may be outsourced.  The Pledge SHOULD have a trusted anchor for both,
> but it can be designed where it has a manufacturer CA which signs both MASA
> and MI certificate)
> 
> Each of these in essence represent a private key!
> I'd like start by ruling out of bounds for this discussion any scenario where
> the attack requires that the private key be leaked, shared or used
> incorrectly.  It's not that they can't happen, but rather that it is a
> problem of TPMs, etc. and not protocol design.
> 
> The Pledge trusts network part works by:
> a) MASA signs VOUCHER.
> b) VOUCHER lists JRC in pinned-domain-cert.
> c) Pledge uses MASA to validate VOUCHER, and therefore validates JRC.
> d) JRC can also audit (verify signatures even) the voucher really comes
>    from MASA, although unless there is a common CA, it may not be able to
>    prove MASA and MI are same entity.
> 
> The JRC trusts Pledge part works by:
> e) MI signs IDevID.
> f) Pledge uses IDevID to identify to JRC.
> g) JRC validates IDevID using MI certificate.
> 
> Now, to translate what you said:
> 
> problem 1.
>     Anoop> The major problem with the procedure is that the registrar doesn???t
>     Anoop> verify the manufacturer.
> 
> To translate, the JRC has no obvious way to verify that the "MI" key belongs
>               to the manufacturer that they care about.
> 
> You actually hit the major reason this is not a problem when you assume:
>    > assuming the registrar can???t know all the manufacturers exhaustively
> 
> We assume that in a managed network that the JRC *can* know all the
> legitimate manufacturers.  The keys can come from sales channel integration
> (via digital "packing slips" perhaps), can be manually loaded by humans, be
> scanned from QR codes on the box, etc.  We believe that this is out of scope.
> 
> And if the JRC does see a MI that it does not know, then it can ask a human.
> That's one reason we made sure that failures to enroll do not cause the
> Pledge to never try again with that JRC.  It needs to try again later,
> because maybe nobody has answered the "Yes/No" Dialog on the management
> station yet.
> 
> And of course there is the WebPKI.  We aren't saying that MI keys
> (or MASA server TLS keys) MUST be in the WebPKI, but we aren't saying that
> they can't be.  That's not a panacea... between ComodoGate type situations
> and certificates for "C1SC0" in a hard to distinguish font, many social
> engineering attacks could get that "Yes" button pressed.
> 
> 
> problem 2.
>     Anoop> If pledge send a self-defined URL of manufacturer where provision for
>     Anoop> issuing fake vouchers is in place, then the registrar can be fooled into
>     Anoop> enrolment [assuming the registrar can???t know all the manufacturers
>     Anoop> exhaustively] and later exploited from inside the domain.
> 
> The URL of the manufacturer is embedded in the IDevID certificate (section
> 2.3 defines the extension).  So the Pledge can't create this lie itself, it
> requires collaboration with the MI to create an IDevID.  Such an MI can
> point to any MASA it wishes, so long as that device can issue vouchers that
> the Pledge can validate.
> 
> What this means is that JRC always knows the MI that created the Pledge.
> If we can solve problem 1, then it's done.
> 
> problem 3.
>     Anoop> Additionally pledge
>     Anoop> and a random manufacturer can also collaborate to do the same.
> 
> I don't see how this is the case.  The pledge can only collaborate with
> the manufacturer whose IDevID it has.
> 
> problem 4.
>     Anoop> In the similar way a registrar may collaborate with the manufacturer to lure
>     Anoop> a device using fake voucher.
> 
> The Pledge will only trust a voucher signed by MASA.
> Any signature from a different entity will be rejected by the Pledge.
> So a fake voucher is not possible.
> Any voucher created by the real MASA is, by definition, not a fake voucher.
> Can you explain this scenario clearer?
> Or explain what text we need to change to clear up the mis-understanding?
> 
> --
> ]               Never tell me the odds!                 | ipv6 mesh networks [
> ]   Michael Richardson, Sandelman Software Works        | network architect  [
> ]     mcr@sandelman.ca  http://www.sandelman.ca/        |   ruby on rails    [
> 
> 
> -- 
> Michael Richardson <mcr+IETF@sandelman.ca>, Sandelman Software Works
>  -= IPv6 IoT consulting =-
> 
> 
> 



> _______________________________________________
> Anima mailing list
> Anima@ietf.org
> https://www.ietf.org/mailman/listinfo/anima


-- 
---
tte@cs.fau.de