Re: [precis] Enforcement as an Idempotent operation

William Fisher <william.w.fisher@gmail.com> Thu, 23 March 2017 19:46 UTC

Return-Path: <william.w.fisher@gmail.com>
X-Original-To: precis@ietfa.amsl.com
Delivered-To: precis@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 91BC3131597 for <precis@ietfa.amsl.com>; Thu, 23 Mar 2017 12:46:04 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.699
X-Spam-Level:
X-Spam-Status: No, score=-2.699 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
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 kecNOBLFlT0Y for <precis@ietfa.amsl.com>; Thu, 23 Mar 2017 12:46:03 -0700 (PDT)
Received: from mail-it0-x22c.google.com (mail-it0-x22c.google.com [IPv6:2607:f8b0:4001:c0b::22c]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id DFD7F129BCB for <precis@ietf.org>; Thu, 23 Mar 2017 12:46:01 -0700 (PDT)
Received: by mail-it0-x22c.google.com with SMTP id 190so4005720itm.0 for <precis@ietf.org>; Thu, 23 Mar 2017 12:46:01 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=NzSDYcK5wUBrqCCtuI7gT10s6BYXl8Xo7NwC8Scb27Q=; b=HDrdmyQeZyiW/c/GPAYU/A6BW+o43Try1FzGS6RpuGYWuLSn6S1E9BFwSVeI1mag/h uXQnPZspVZMtY9OFFYTi0vTxi4MeAzubGhinpih80Ma+YGXw6u/W2mBN3RnlfHhJmyGQ Itpc71+jAw9dUfm6EeHUXWhocjNy37l3AYUutESlqDg9ZhRpcjRmY9nNB5U/K3ckb5Lc VQ3lEzK3k+b6PE+fTBYHUUlLEUD4OMpQ+vfjRgAe4NysGEbSebjd/r7N+U59k5oP89ay iOGdSixI9rJv4xOa7kj9zWHMFctY+YbIwcsbuoeOL0OZ6qS55E61shjd1j2/UOJYxVOL hiYg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=NzSDYcK5wUBrqCCtuI7gT10s6BYXl8Xo7NwC8Scb27Q=; b=SUt9LQLjGvao8pH2MBzN6Yl1bbvSn1q7bed7s4+lOXTIJiHVtWwgTB09iWd12r7Nsu aPdy1DEjihzVkEHapRUek9UlxH86quvfxEF8VXNG+FpKVPK9v93Ka8YWwk/BZLPg+IrX 4bnRTxW64jHH9LP7QxAWcrYuEDTKSwwVjfmvrKpWQh1Q2EGCCwyAOeqUnLbjkuAFPha7 fe7Powu1rwbsvhidz6S+nU1CfRV7Ue4I5NSth4LQ/c28R0e4T945IiSQlvb+XgLukMtx 5DSKjcLFdYzRXifbHJnpLqx2VFCHE0ZZg0afiRzZavGQA6fNeZDX9ppSmgjdXf4LJAa8 ri7A==
X-Gm-Message-State: AFeK/H2JDMK4wsksK5uKczzoXv95TlJAjehhhn08RwRdMruDb1dmtcEmzgoRl1R4YJUFWWIg6u1mJRf4ABqkkQ==
X-Received: by 10.36.224.136 with SMTP id c130mr4588876ith.57.1490298361243; Thu, 23 Mar 2017 12:46:01 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.107.12.213 with HTTP; Thu, 23 Mar 2017 12:46:00 -0700 (PDT)
In-Reply-To: <6df28263-cdfa-cc61-4ba9-1bdae17bcca8@stpeter.im>
References: <CAHVjMKHVvmS6jty3-jwnnuqy-xdw-xY2j+5ExLRr6tXCMRbC2Q@mail.gmail.com> <f9b49a96-2189-bccd-5dc0-a4dc8146cbcc@stpeter.im> <CAHVjMKEVTOCV68OTfXnXhWKiXT798m2osGkwHVRhw4Cs0RLw0w@mail.gmail.com> <15c31273-c278-af61-2a01-0b68ab8af182@stpeter.im> <CAHVjMKHXL_gHrQ1+jC2T4VrJj5n+mRB5j7iD7kGHc06wpq+PEA@mail.gmail.com> <0f5b55f8-5fcb-2a61-435e-7b93d2d8f9e6@stpeter.im> <6df28263-cdfa-cc61-4ba9-1bdae17bcca8@stpeter.im>
From: William Fisher <william.w.fisher@gmail.com>
Date: Thu, 23 Mar 2017 12:46:00 -0700
Message-ID: <CAHVjMKFKPB_7C6znphRmUjP1LpM5+b=zRWEHHjNxHShZDOGwDw@mail.gmail.com>
To: Peter Saint-Andre <stpeter@stpeter.im>
Cc: precis@ietf.org
Content-Type: text/plain; charset=UTF-8
Archived-At: <https://mailarchive.ietf.org/arch/msg/precis/V3vppOLYJtt4QimDndjqEGVL2A8>
Subject: Re: [precis] Enforcement as an Idempotent operation
X-BeenThere: precis@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Preparation and Comparison of Internationalized Strings <precis.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/precis>, <mailto:precis-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/precis/>
List-Post: <mailto:precis@ietf.org>
List-Help: <mailto:precis-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/precis>, <mailto:precis-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 23 Mar 2017 19:46:05 -0000

I agree with the "implementation note" strategy. In all my testing,
only the "Nickname" profile can fail to be idempotent for some inputs.
I have not found any inputs that fail the idempotent test using the
Username or OpaqueString profiles.  I believe "Nickname" has problems
because it uses NFKC.  I would add an implementation note/warning to
the Nickname profile.

Thanks,
Bill


On Tue, Mar 21, 2017 at 6:30 PM, Peter Saint-Andre <stpeter@stpeter.im> wrote:
> Thinking about this further, I now lean against making this change in
> the PRECIS processing rules, for several reasons:
>
> 1. Existing PRECIS implementations would need to be modified, resulting
> in a behavioral difference between older and newer implementations (or
> older and newer versions of the same implementation).
>
> 2. The order of operations in PRECIS was intended to be consistent with
> IDNA2008 (in which case mapping is performed before normalization,
> albeit in the application before the protocol is invoked), and with
> IDNA2003 and Stringprep prior to IDNA2008 (note also that several PRECIS
> profiles were designed as modernized replacements for Stringprep
> profiles). Making PRECIS inconsistent with IDNA might make it harder to
> reuse code and might lead to unexpected and undesirable consequences.
>
> 3. Idempotence, although a desirable quality, in my opinion falls into
> the category of "nice but not necessary". (If we were designing PRECIS
> anew, my opinion might be different.)
>
> A safer approach would be to add an implementation note to the effect
> that PRECIS processing might not be idempotent, and that implementations
> might need to apply the rules more than once to the same string.
>
> Peter
>