Re: [manet] DLEP unspecified handling behavior

"Sipos, Brian J." <Brian.Sipos@jhuapl.edu> Tue, 22 November 2022 14:51 UTC

Return-Path: <Brian.Sipos@jhuapl.edu>
X-Original-To: manet@ietfa.amsl.com
Delivered-To: manet@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id C91FCC1522B7 for <manet@ietfa.amsl.com>; Tue, 22 Nov 2022 06:51:17 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.097
X-Spam-Level:
X-Spam-Status: No, score=-7.097 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_HI=-5, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=jhuapl.edu
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id xw0aSMazYSxx for <manet@ietfa.amsl.com>; Tue, 22 Nov 2022 06:51:14 -0800 (PST)
Received: from aplegw02.jhuapl.edu (aplegw02.jhuapl.edu [128.244.251.169]) (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 0D963C14F73A for <manet@ietf.org>; Tue, 22 Nov 2022 06:51:13 -0800 (PST)
Received: from pps.filterd (aplegw02.jhuapl.edu [127.0.0.1]) by aplegw02.jhuapl.edu (8.17.1.5/8.17.1.5) with ESMTP id 2AME1M85002074; Tue, 22 Nov 2022 09:51:13 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jhuapl.edu; h=from : to : subject : date : message-id : references : in-reply-to : content-type : mime-version; s=JHUAPLDec2018; bh=08FcZ2oLgG9wBq9JKBFuD9fcF1/hwX51Xvcc12Z5lk4=; b=eHdBvScvUWy/0VG5px6aPAdgwS+455+g9XpxewdtqnUWTbDkSBe8mdz6T6BBA9l7535O O2QovEaDnOaG2h/EjG9G2/Oc9vY7Kmhn/FfJlJZwI7DHMyLJ4S8/rOxt/b+77phF6oFU Wm3LRWSy1C/r0gsfkaffBdv6aAM4iGq1AJZibVMfG4Zan6qblZ1hil8nIEDLphxVqcKi GJuNyW34Xsyt/A6IyIINxB1oorvkUtaDhfpH6zAxEmmrUERhRiZ2tEF/1PmrDf+Hus25 Q1izqFuW8LbVn3/wSiDrOAlDDT7MkXzVJz3xeQFUpVqkAD7qr5hPKSf5VUXNLVCdVOfE 8Q==
Received: from aplex20.dom1.jhuapl.edu (aplex20.dom1.jhuapl.edu [10.114.162.5]) by aplegw02.jhuapl.edu (PPS) with ESMTPS id 3kxv84aq98-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Tue, 22 Nov 2022 09:51:13 -0500
Received: from APLEX21.dom1.jhuapl.edu (10.114.162.6) by APLEX20.dom1.jhuapl.edu (10.114.162.5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1118.20; Tue, 22 Nov 2022 09:51:12 -0500
Received: from APLEX21.dom1.jhuapl.edu ([fe80::6032:607c:9f2a:6daa]) by APLEX21.dom1.jhuapl.edu ([fe80::6032:607c:9f2a:6daa%5]) with mapi id 15.02.1118.020; Tue, 22 Nov 2022 09:51:12 -0500
From: "Sipos, Brian J." <Brian.Sipos@jhuapl.edu>
To: Rick Taylor <rick@tropicalstormsoftware.com>, "manet@ietf.org" <manet@ietf.org>
Thread-Topic: [manet] DLEP unspecified handling behavior
Thread-Index: AdiygQ0GHmfIujp6Rj6cKmzngMu+fBCngAQAAixaBkA=
Date: Tue, 22 Nov 2022 14:51:12 +0000
Message-ID: <6c47efca0ea046ca88096e41b5b07a98@jhuapl.edu>
References: <14dba05a30954e208cb6b55d8cdee712@jhuapl.edu> <6b4348e0c656184669b29d274128ffc92c758595.camel@tropicalstormsoftware.com>
In-Reply-To: <6b4348e0c656184669b29d274128ffc92c758595.camel@tropicalstormsoftware.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach: yes
X-MS-TNEF-Correlator:
x-originating-ip: [10.114.162.27]
Content-Type: multipart/signed; protocol="application/x-pkcs7-signature"; micalg="SHA1"; boundary="----=_NextPart_000_00FF_01D8FE57.F3ADE7A0"
MIME-Version: 1.0
X-CrossPremisesHeadersFilteredBySendConnector: APLEX20.dom1.jhuapl.edu
X-OrganizationHeadersPreserved: APLEX20.dom1.jhuapl.edu
X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.219,Aquarius:18.0.895,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-11-22_09,2022-11-18_01,2022-06-22_01
Archived-At: <https://mailarchive.ietf.org/arch/msg/manet/t0ws8okCcqUtPBJIt51WS_1tVLk>
Subject: Re: [manet] DLEP unspecified handling behavior
X-BeenThere: manet@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Mobile Ad-hoc Networks <manet.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/manet>, <mailto:manet-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/manet/>
List-Post: <mailto:manet@ietf.org>
List-Help: <mailto:manet-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/manet>, <mailto:manet-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 22 Nov 2022 14:51:17 -0000

Rick,
I agree that your suggested behavior of treat the entire message as malformed is a reasonable one. I just don't see any guidance to implementers in the RFC 8175 text. If there is a goal to have uniformity of handling failures (which is what the IESG prefers standards documents define) then it would be helpful to have an errata written about these cases. Both for how a receiver should handle these signals/messages directly (i.e. treat them as malformed and use none of the data items contained therein) and how the receiver should react to the peer (i.e. for response-eliciting messages, the response must indicate the invalid data was received and ignored).

Currently, even if a receiver does send an Invalid Data response there's no specified guarantee that the receiver also ignored the other data items in the message. This has implications for things like Destination Update data items because a sender is free to only include the items that have "changed" but that change is relative to the last Update that the receiver has accepted. If the sender has an Dest. Update message dropped by a receiver then it may elide future data items that "have not changed" from its perspective but now it's de-synchronized from the receiver. If implementations have differing behavior like that then there's currently nothing to point to as a benchmark of correctness and no motivation for any change in implementation.


> -----Original Message-----
> From: Rick Taylor <rick@tropicalstormsoftware.com>
> Sent: Thursday, November 10, 2022 11:11 AM
> To: manet@ietf.org; Sipos, Brian J. <Brian.Sipos@jhuapl.edu>
> Subject: [EXT] Re: [manet] DLEP unspecified handling behavior
> 
> APL external email warning: Verify sender rick@tropicalstormsoftware.com
> before clicking links or attachments
> 
> Hi Brian,
> 
> I politely disagree.  I think in every Data Item description it is explicitly specified
> what the length of the TLV MUST be.  If the length does not match the
> specification, then the TLV is not valid, and therefore a response with Status
> Code "Invalid Data" should result.
> 
> That said, can you highlight a corner case where this can happen?
> 
> Cheers,
> 
> Rick
> 
> On Wed, 2022-08-17 at 21:46 +0000, Sipos, Brian J. wrote:
> > All,
> > This seems like an errata item for DLEP RFC 8175, but it’s really an
> > omission rather than an error in specific existing text. Currently the
> > text in Section 11.3 “DLEP Generic Data Item” indicates the correct
> > TLV encoding for each Data Item but it doesn’t recommend how a
> > receiver of a DLEP signal or message should handle a case where a data
> > item Value contains either more or fewer octets than expected based on
> > the Data Item Type. Some current implementations ignore too- large
> > Value (i.e. treat it as padding) while others treat the signal/message
> > as being malformed and throw the whole thing away (or, worse,
> > mishandle the Value and desync the decoder from the data item
> > alignment causing later phantom data items).
> > It seems like an issue processing an individual data item Value should
> > not cause the entire signal/message to be discarded, but maybe this is
> > desirable behavior…
> >
> > The same kind of logic seems to also apply to signal Length field vs
> > the actual datagram size. Throw away the entire signal or decode the
> > items you can and process that? Treat any additional datagram octets
> > as padding?
> >
> > Any thoughts from the WG?
> > Thanks,
> > Brian S.
> > _______________________________________________
> > manet mailing list
> > manet@ietf.org
> > https://www.ietf.org/mailman/listinfo/manet