From nobody Thu Aug 27 05:58:51 2020
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 =?ISO-8859-1?Q?D=E9cimo?= <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

