Re: [Anima] verification of manufacturer in BRSKI

"Anoop Kumar Pandey" <anoop@cdac.in> Mon, 19 February 2018 08:53 UTC

Return-Path: <anoop@cdac.in>
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 1D9E7127077 for <anima@ietfa.amsl.com>; Mon, 19 Feb 2018 00:53:47 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, T_KAM_HTML_FONT_INVALID=0.01, 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 iSymmegldMUB for <anima@ietfa.amsl.com>; Mon, 19 Feb 2018 00:53:44 -0800 (PST)
Received: from mailsender.cdac.in (mailsender.cdac.in [196.1.113.117]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id BD40C12426E for <anima@ietf.org>; Mon, 19 Feb 2018 00:53:42 -0800 (PST)
Received: from ims.pune.cdac.in (ims.pune.cdac.in [10.208.1.15]) by mailsender.cdac.in (8.14.2/8.14.2) with ESMTP id w1J8r4sk001351 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Mon, 19 Feb 2018 14:23:17 +0530
Received: from mailgw.pune.cdac.in ([10.208.1.4]) by ims.pune.cdac.in (8.14.4/8.14.4) with ESMTP id w1J8qH2E004345; Mon, 19 Feb 2018 14:22:18 +0530
X-AuthUser: anoop
Received: from CERTINPC ([223.31.121.163]) (authenticated bits=0) by mailgw.pune.cdac.in (8.14.2/8.13.8) with ESMTP id w1J8qFRO032094; Mon, 19 Feb 2018 14:22:16 +0530
From: Anoop Kumar Pandey <anoop@cdac.in>
To: 'Michael Richardson' <mcr+ietf@sandelman.ca>, anima@ietf.org
References: <003101d3a570$32e4c510$98ae4f30$@cdac.in> <22127.1519000017@obiwan.sandelman.ca>
In-Reply-To: <22127.1519000017@obiwan.sandelman.ca>
Date: Mon, 19 Feb 2018 14:22:13 +0530
Message-ID: <005b01d3a95e$f0ba5680$d22f0380$@cdac.in>
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="----=_NextPart_000_005C_01D3A98D.0A75EDE0"
X-Mailer: Microsoft Outlook 15.0
Thread-Index: AQE2I/joFI0/xQRcLlXQFy4X95wT3AJMjcXypNP1LbA=
Content-Language: en-in
X-CDAC-PUNE-MailScanner-ID: w1J8qH2E004345
X-CDAC-PUNE-MailScanner: Found to be clean, Found to be clean
X-CDAC-PUNE-MailScanner-MCPCheck-IMS: MCP-Clean, MCP-Checker (score=0, required 1)
X-CDAC-PUNE-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-0.198, required 6, autolearn=disabled, ALL_TRUSTED -1.00, BAYES_50 0.80, HTML_MESSAGE 0.00, URIBL_BLOCKED 0.00), not spam, SpamAssassin (not cached, score=-2.539, required 6, autolearn=disabled, ALL_TRUSTED -1.80, BAYES_20 -0.74, HTML_MESSAGE 0.00)
X-CDAC-PUNE-MailScanner-Information: Please contact npsfhelp@cdac.in/mailadmin@cdac.in for more information
X-MailScanner-ID: w1J8r4sk001351
X-CDAC-PUNE-MailScanner-From: anoop@cdac.in
X-CDAC-MailScanner-Spam-Status: No
Archived-At: <https://mailarchive.ietf.org/arch/msg/anima/I4Eb38Z_tSj5dEMdYH2mQ8P67IM>
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: Mon, 19 Feb 2018 08:53:47 -0000

Dear Author,

           I am further expanding my query and raising concern over your response. The Problem Nos. are same as in the trailing reply.:

 

Problem 1: 
Response: " We assume that in a managed network that the JRC *can* know all the legitimate manufacturers."



May be!! But practically may not be possible. Manufacturers keep adding and also getting out of business. Tracking each MI is difficult.



Response: " 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."

 

If manual intervention is required, then it is no longer “Automated BRSKI”. Humans can anyway observer and add/install new device.

 

Problem 2: 

Response: 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.



I had asked the same thing. If pledge collaborates with a rouge MI [given Problem 1 is not solved], the domain can easily be invaded.

 

Problem 3: 
Response: The pledge can only collaborate with the manufacturer whose IDevID it has.


Agreed. Then this problem reduces to Problem 2 where Pledge and MI can collaborate to fool JRC

 

Problem 4: 

Response: 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.

 

I only raised concern that there is no way to detect if MASA and JRC have collaborated to lure the pledge into a malicious domain unless the MASA certificate and IDevID certificate have common Root Certifying authority.

 

Regards,

Anoop

 

 

-----Original Message-----
From: Michael Richardson [mailto:mcr+ietf@sandelman.ca] 
Sent: 19 February 2018 05:57
To: anima@ietf.org
Cc: Anoop Kumar Pandey <anoop@cdac.in>
Subject: verification of manufacturer in BRSKI

 

 

{sorry if this is a duplicate, my draft folder says it did not go out}

 

Anoop Kumar Pandey < <mailto:anoop@cdac.in> 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  [

]      <mailto:mcr@sandelman.ca> mcr@sandelman.ca   <http://www.sandelman.ca/> http://www.sandelman.ca/        |   ruby on rails    [

 

 

--

Michael Richardson < <mailto:mcr+IETF@sandelman.ca> mcr+IETF@sandelman.ca>, Sandelman Software Works  -= IPv6 IoT consulting =-

 

 

 


-------------------------------------------------------------------------------------------------------------------------------
[ C-DAC is on Social-Media too. Kindly follow us at:
Facebook: https://www.facebook.com/CDACINDIA & Twitter: @cdacindia ]

This e-mail is for the sole use of the intended recipient(s) and may
contain confidential and privileged information. If you are not the
intended recipient, please contact the sender by reply e-mail and destroy
all copies and the original message. Any unauthorized review, use,
disclosure, dissemination, forwarding, printing or copying of this email
is strictly prohibited and appropriate legal action will be taken.
-------------------------------------------------------------------------------------------------------------------------------