Re: E Distributed Programming Clarification
"Ben Laurie" <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
On Tue, Sep 16, 2008 at 5:17 PM, Bill Frantz <[email protected]> wrote: > [email protected] (Jimmy Wylie Jr.) on Tuesday, September 16, 2008 wrote: > >>3. VatB authenticates correct VatA by verifying that this vat "candidate" >>knows the private key associated with VatA's public key. Exactly how is >>this done? I don't really understand how VatB determines VatA's knowledge of >>the correct private key. I know that here: >>http://www.waterken.com/dev/YURL/httpsy/ it says that servers are >>authenticated via verification of a constructed certificate chain. I know >>httpsy, is related to E's CapTP, but I remember reading elsewhere, that E >>rejects the use of certificates in its protocols. Nope. But there is a scheme for adding extensions. > > See > <http://www.erights.org/elib/distrib/vattp/DataComm_startup.html> > for details on the authentication. > <http://www.erights.org/elib/distrib/vattp/index.html> gives a > broader overview of CapTP. > > The long-range goal is to replace CapTP with a system using TLS. > Since TLS authentication techniques have greatly expanded over the > years, there may be a technique, which has been standardized via RFC, > and also directly supports E's technique of, "I know the hash of > your public key. Give me the public key and prove you have the > private key." > > Cheers - Bill > > ----------------------------------------------------------------------- > Bill Frantz | I like the farmers' market | Periwinkle > (408)356-8506 | because I can get fruits and | 16345 Englewood Ave > www.pwpconsult.com | vegetables without stickers. | Los Gatos, CA 95032 > _______________________________________________ > e-lang mailing list > [email protected] > http://www.eros-os.org/mailman/listinfo/e-lang >