IETF Logo Mail Archive

Re: [http-auth] I-D Action: draft-ietf-httpauth-mutual-algo-00.txt

Ilari Liusvaara <ilari.liusvaara@elisanet.fi> Sun, 20 July 2014 01:29 UTC

Return-Path: <ilari.liusvaara@elisanet.fi>
X-Original-To: http-auth@ietfa.amsl.com
Delivered-To: http-auth@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 008C71B2B51 for <http-auth@ietfa.amsl.com>; Sat, 19 Jul 2014 18:29:46 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.901
X-Spam-Level:
X-Spam-Status: No, score=-1.901 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001] autolearn=ham
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 Cm4wiYucP32u for <http-auth@ietfa.amsl.com>; Sat, 19 Jul 2014 18:29:44 -0700 (PDT)
Received: from emh07.mail.saunalahti.fi (emh07.mail.saunalahti.fi [62.142.5.117]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 3B64D1B2B4B for <http-auth@ietf.org>; Sat, 19 Jul 2014 18:29:42 -0700 (PDT)
Received: from LK-Perkele-VII (a88-112-44-140.elisa-laajakaista.fi [88.112.44.140]) by emh07.mail.saunalahti.fi (Postfix) with ESMTP id A03233FE4; Sun, 20 Jul 2014 04:29:38 +0300 (EEST)
Date: Sun, 20 Jul 2014 04:29:38 +0300
From: Ilari Liusvaara <ilari.liusvaara@elisanet.fi>
To: Yutaka OIWA <y.oiwa@aist.go.jp>
Message-ID: <20140720012938.GA28212@LK-Perkele-VII>
References: <20140704220217.30291.17196.idtracker@ietfa.amsl.com> <20140705124400.GA3684@LK-Perkele-VII> <CAMeZVwuTkjWzkjuCcFdLEYCE1HhCm_FdO=85=jarTZjdngjfZg@mail.gmail.com> <20140718112027.GA9740@LK-Perkele-VII>
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
In-Reply-To: <20140718112027.GA9740@LK-Perkele-VII>
User-Agent: Mutt/1.5.23 (2014-03-12)
Sender: Ilari Liusvaara <ilari.liusvaara@elisanet.fi>
Archived-At: http://mailarchive.ietf.org/arch/msg/http-auth/Q0IniHvYTWDue1hojrXIc0JBUrE
Cc: "http-auth@ietf.org" <http-auth@ietf.org>
Subject: Re: [http-auth] I-D Action: draft-ietf-httpauth-mutual-algo-00.txt
X-BeenThere: http-auth@ietf.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: HTTP authentication methods <http-auth.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/http-auth>, <mailto:http-auth-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/http-auth/>
List-Post: <mailto:http-auth@ietf.org>
List-Help: <mailto:http-auth-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/http-auth>, <mailto:http-auth-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sun, 20 Jul 2014 01:29:46 -0000

On Fri, Jul 18, 2014 at 02:20:27PM +0300, Ilari Liusvaara wrote:
> 
> Actually, given that r is prime, it seems to me that:
> 
> [h] * (J(pi) + [t_1] * K_c1') <> 0_E
> <=>
> [h] * [S_s1] * (J(pi) + [t_1] * K_c1') <> 0_E
> 
> (scalar multiplication commutes and Z_r is a field).

Seems like following assumptions are sufficient for proving
this:

A) Base field of E is finite, and
B) r=|<G>| is prime, and
C) #E <> 0 (mod r^2)


In practice, these are always true in ECC.



-Ilari

v2.23.0 | Report a Bug | By Email