Subject: Re: [stir] Proposal for update of erratum #6519 - ppt syntax

From: Marc Petit-Huguenin <[email-masked]>
Date: Wed, 21 Apr 2021 11:12:46 -0700

On 4/21/21 10:53 AM, Christer Holmberg wrote:
> Hi,
> 
> I have not been able to follow the discussion in detail, but is there a reason why we simply can's say:
> 
> ident-type = "ppt" EQUAL token / quoted-string
> 
> ...and then add text saying that the only token characters are allowed?

I believe that exceptions to ABNF should be kept to the minimal necessary.   Few implementers read the ABNF, few implementers read normative text.  That means that only the intersection of these two sets will do the right thing.

That's also why we should not deviate from the norm:  We should have used COMMA in Identity, ident-info-uri should have been a field right after signed-identity-digest (similar to name-addr).

Standards are not driven by the best protocol designers' work, but by the worse implementers' shortcomings.

> 
> Regards,
> 
> Christer
> 
> 
> 
> ________________________________
> From: Roman Shpount <[email-masked]>
> Sent: Tuesday, April 20, 2021 5:20 PM
> To: Russ Housley <[email-masked]>
> Cc: Marc Petit-Huguenin <[email-masked]>; Christer Holmberg <[email-masked]>; IETF STIR Mail List <[email-masked]>
> Subject: Re: [stir] Proposal for update of erratum #6519
> 
> Hi Russ,
> 
> The complete grammar would be:
> 
>        Identity = "Identity" HCOLON signed-identity-digest SEMI
>            ident-info *( SEMI ident-info-params )
>        signed-identity-digest = 1*(base64url-char / ".")
>        ident-info = "info" EQUAL ident-info-uri
>        ident-info-uri = LAQUOT absoluteURI RAQUOT
>        ident-info-params = ident-info-alg / ident-type /
>            ident-info-extension
>        ident-info-alg = "alg" EQUAL token
>        ident-type =  "ppt" EQUAL ( token / ( LDQUOT token RDQUOT ) )
>        ident-info-extension = generic-param
> 
> base64url-char = ALPHA / DIGIT / "-" / "_"
> 
> In this grammar, SEMI is defined as SEMI = SWS  ";"  SWS. This should take care of the SWS after the token.
> _____________
> Roman Shpount
> 
> 
> On Tue, Apr 20, 2021 at 9:22 AM Russ Housley <[email-masked]<mailto:[email-masked]>> wrote:
> 
> 
> On Apr 19, 2021, at 9:57 PM, Roman Shpount <[email-masked]<mailto:[email-masked]>> wrote:
> 
> ident-type = "ppt" EQUAL ( token / ( LDQUOT token RDQUOT ) )
> 
> Since RDQUOT allows whitespace after the double quote, do we need to allow whitespace after token when there are no quotes?
> 
>      ident-type = "ppt" EQUAL ( ( token SWS ) / ( LDQUOT token RDQUOT ) )
> 
> Russ
> 

-- 
Marc Petit-Huguenin
Email: [email-masked]
Blog: https://marc.petit-huguenin.org
Profile: https://www.linkedin.com/in/petithug