Re: [babel] Comments on the MAC authentication for Babel draft

Juliusz Chroboczek <jch@irif.fr> Thu, 27 August 2020 12:58 UTC

Return-Path: <jch@irif.fr>
X-Original-To: babel@ietfa.amsl.com
Delivered-To: babel@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 201543A0774 for <babel@ietfa.amsl.com>; Thu, 27 Aug 2020 05:58:50 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.001
X-Spam-Level:
X-Spam-Status: No, score=-0.001 tagged_above=-999 required=5 tests=[BAYES_20=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] 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 vNfe8NM-FrCk for <babel@ietfa.amsl.com>; Thu, 27 Aug 2020 05:58:48 -0700 (PDT)
Received: from korolev.univ-paris7.fr (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 2B56A3A0812 for <babel@ietf.org>; Thu, 27 Aug 2020 05:58:47 -0700 (PDT)
Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/82085) with ESMTP id 07RCwjfV002102 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Thu, 27 Aug 2020 14:58:45 +0200
Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/82085) with ESMTP id 07RCwjkt011519; Thu, 27 Aug 2020 14:58:45 +0200
Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id BE263C7307; Thu, 27 Aug 2020 14:58:45 +0200 (CEST)
X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr
Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id XvaP51RkXahP; Thu, 27 Aug 2020 14:58:44 +0200 (CEST)
Received: from pirx.irif.fr (82-64-141-196.subs.proxad.net [82.64.141.196]) (Authenticated sender: jch) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 74DFCC7305; Thu, 27 Aug 2020 14:58:43 +0200 (CEST)
Date: Thu, 27 Aug 2020 14:58:42 +0200
Message-ID: <873648meil.wl-jch@irif.fr>
From: Juliusz Chroboczek <jch@irif.fr>
To: Donald Eastlake <d3e3e3@gmail.com>
Cc: Antonin Décimo <antonin.decimo@gmail.com>, Babel at IETF <babel@ietf.org>
In-Reply-To: <CAF4+nEFjYVQeZtAyJsQWXTpgVe6gDPodqHG4YLF8PwjeNq+4Eg@mail.gmail.com>
References: <CAC=54B+aJAZ3KhSUAjJyXiAujzHarRCDYXcERLx3gkHswJ6Sgg@mail.gmail.com> <87zh6hem9u.wl-jch@irif.fr> <CAF4+nEFjYVQeZtAyJsQWXTpgVe6gDPodqHG4YLF8PwjeNq+4Eg@mail.gmail.com>
User-Agent: Wanderlust/2.15.9
MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue")
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 8bit
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Thu, 27 Aug 2020 14:58:45 +0200 (CEST)
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Thu, 27 Aug 2020 14:58:45 +0200 (CEST)
X-Miltered: at korolev with ID 5F47AE05.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)!
X-Miltered: at potemkin with ID 5F47AE05.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)!
X-j-chkmail-Enveloppe: 5F47AE05.002 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/<jch@irif.fr>
X-j-chkmail-Enveloppe: 5F47AE05.002 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/<jch@irif.fr>
X-j-chkmail-Score: MSGID : 5F47AE05.002 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000
X-j-chkmail-Score: MSGID : 5F47AE05.002 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000
X-j-chkmail-Status: Ham
X-j-chkmail-Status: Ham
Archived-At: <https://mailarchive.ietf.org/arch/msg/babel/SHMtjKDcTLrVmjpYrmd_ncnEsCQ>
Subject: Re: [babel] Comments on the MAC authentication for Babel draft
X-BeenThere: babel@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "A list for discussion of the Babel Routing Protocol." <babel.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/babel>, <mailto:babel-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/babel/>
List-Post: <mailto:babel@ietf.org>
List-Help: <mailto:babel-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/babel>, <mailto:babel-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 27 Aug 2020 12:58:50 -0000

>>> 4. Accepting Challenges
>> 
>>> When receiving a challenge reply, a node must check if there was a
>>> challenge in progress before validating the challenge.
>> 
>>> However the text does not explicitly describe if there are changes
>>> to be made to the overall state when the challenge succeeds.

>> Right.  The obvious implementation strategy is to discard the challenge
>> state after a challenge has succeeded.  Not doing that does not cause any
>> security issues (it's not required by the proof of correctness).
>> 
>> I think we should add « SHOULD discard the state » here, but it requires
>> Donald's permission.

> I think adding this "SHOULD" would be too much of a change. In principle it
> doesn't require my permission, it requires Martin Vigoureux's permission since
> the draft is out of the WG and in the IESG.

Shall I ask Martin?

> Since it doesn't affect correct operation, I would suggest just creating a
> draft-ietf-babel-hmacbis-00 draft and putting it in that.

I'm not volunteering.

-- Juliusz