Re: [netmod] 6991bis: host

Ladislav Lhotka <lhotka@nic.cz> Mon, 22 July 2019 21:05 UTC

Return-Path: <lhotka@nic.cz>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 67C3712011B for <netmod@ietfa.amsl.com>; Mon, 22 Jul 2019 14:05:53 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.897
X-Spam-Level:
X-Spam-Status: No, score=-1.897 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_NONE=0.001, URIBL_BLOCKED=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 tiPlmf_L3b9K for <netmod@ietfa.amsl.com>; Mon, 22 Jul 2019 14:05:51 -0700 (PDT)
Received: from trail.lhotka.name (trail.lhotka.name [77.48.224.143]) by ietfa.amsl.com (Postfix) with ESMTP id 719C81200FD for <netmod@ietf.org>; Mon, 22 Jul 2019 14:05:51 -0700 (PDT)
Received: by trail.lhotka.name (Postfix, from userid 109) id 776AD182048B; Mon, 22 Jul 2019 23:04:18 +0200 (CEST)
Received: from localhost (dhcp-8bbc.meeting.ietf.org [31.133.139.188]) by trail.lhotka.name (Postfix) with ESMTPSA id 5321C1820073; Mon, 22 Jul 2019 23:04:15 +0200 (CEST)
From: Ladislav Lhotka <lhotka@nic.cz>
To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Cc: NETMOD WG <netmod@ietf.org>
In-Reply-To: <20190721203054.igu3af2gg7o6qdhn@anna.jacobs.jacobs-university.de>
References: <542f5183bee87d67247a111733fe7aeccf520085.camel@nic.cz> <20190721203054.igu3af2gg7o6qdhn@anna.jacobs.jacobs-university.de>
Mail-Followup-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>, NETMOD WG <netmod@ietf.org>
Date: Mon, 22 Jul 2019 17:05:44 -0400
Message-ID: <87imrt3hlj.fsf@nic.cz>
MIME-Version: 1.0
Content-Type: text/plain; format="flowed"
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/qRFmhzgNI5sDsPcme0xNaPOCmKE>
Subject: Re: [netmod] 6991bis: host
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 22 Jul 2019 21:05:54 -0000

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> 
writes:

> Lada, 
> 
> the definition of inet:domain-name already has text that 
> Internet host names have a stricter syntax. Perhaps we should 
> simply state explicitely in the definition of host that the 
> stricter rules apply? 
> 
> I understand that you want to capture more in the definition 
> itself.  Perhaps this makes sense and is backwards compatible 
> (for implementations that followed the advice in the descriptin 
> of inet:domain-name).

Yes. In this case the constraint is easy to express it in a 
"pattern" statement, which is of course considerably more useful 
than having it only in the description.

Lada 
> 
> /js 
> 
> On Fri, Mar 29, 2019 at 03:29:05PM +0100, Ladislav Lhotka wrote: 
>> Hi,  the inet:host type should not use the inet:domain-name as 
>> its member because the latter type doesn't satisfy the 
>> requirements of RFC 952 and 1123 on host names.  For example, 
>> the type now permits a single dot (".") as the value or the 
>> underscore character.   I propose to change the "host" type as 
>> follows:  OLD  
>>     typedef host { 
>>       type union { 
>>         type inet:ip-address; type inet:domain-name; 
>>       } ... 
>>     } 
>>  NEW  
>>     typedef host { 
>>       type union { 
>>         type inet:ip-address; type inet:host-name; 
>>       } ... 
>>     } 
>>  A reasonable definition of "host-name" is IMO a domain name 
>> whose labels are NR- LDH (non-registered letter-digit-hyphen 
>> label) [RFC 5890]:  
>>     typedef host-name { 
>>       type string { 
>>         pattern 
>>           '((([a-zA-Z0-9]([a-zA-Z0-9\-]){0,61})?[a-zA-Z0-9]\.)*' 
>>         + '([a-zA-Z0-9]([a-zA-Z0-9\-]){0,61})?[a-zA-Z0-9]\.?)'; 
>>         pattern '(.*\.)?..\-\-.*' { 
>>           modifier invert-match; 
>>         } length "2..253"; ... 
>>       } 
>>     } 
>>  Lada  --  Ladislav Lhotka Head, CZ.NIC Labs PGP Key ID: 
>> 0xB8F92B08A9F76C67 
>> _______________________________________________ netmod mailing 
>> list netmod@ietf.org 
>> https://www.ietf.org/mailman/listinfo/netmod 
> 
> --  Juergen Schoenwaelder           Jacobs University Bremen 
> gGmbH Phone: +49 421 200 3587         Campus Ring 1 | 28759 
> Bremen | Germany Fax:   +49 421 200 3103 
> <https://www.jacobs-university.de/> 

-- 
Ladislav Lhotka
Head, CZ.NIC Labs
PGP Key ID: 0xB8F92B08A9F76C67