Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 31 Jul 1995 13:40:47 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA134142650;
          Mon, 31 Jul 1995 06:10:50 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from aun.uninett.no by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA134112641;
          Mon, 31 Jul 1995 06:10:41 -0600
X400-Received: by mta aun.uninett.no in /PRMD=uninett/ADMD= /C=no/; Relayed;
               Mon, 31 Jul 1995 14:10:58 +0200
X400-Received: by /PRMD=uninett/ADMD= /C=no/; Relayed;
               Mon, 31 Jul 1995 14:11:24 +0200
Date: Mon, 31 Jul 1995 14:11:24 +0200
X400-Originator: Einar-A.Snekkenes@ffi.no
X400-Recipients: non-disclosure:;
X400-Mts-Identifier: [/PRMD=uninett/ADMD= /C=no/;1529 95/07/31 14:11]
X400-Content-Type: P2-1984 (2)
Content-Identifier: 1529 95/07/31
Alternate-Recipient: Allowed
From: Einar-A.Snekkenes@ffi.no
Message-Id: <"1529 95/07/31 14:11*/G=Einar-A/S=Snekkenes/O=ffi/PRMD=uninett/ADMD= /C=no/"@MHS>
To: info-hol@leopard.cs.byu.edu
Subject: Cryptographic protocols, thesis available

My thesis

Formal Specification and Analysis of Cryptographic

is available by anonymous ftp from

ftp.ffi.no    /pub/eas*

and as hardcopy.

A key feature of this work is that communication
channels are modelled as sets possessing certain closure
properties rather than as FIFO buffers. As opposed to
analysis techniques based on rewriting,
the work does not put restrictions on the kind of algebraic
properties which can be modelled.  The theories
were developed using the HOL90 system.



%=============================================================
% Einar Snekkenes,        | X400 :
G=Einar-A;S=Snekkenes;O=ffi;PRMD=uninett;C=no;
% NDRE,                   | RFC  :  Einar-A.Snekkenes@FFI.NO
% P.B. 25,                | phone : +47 63-80-74-01
% N-2007 Kjeller,         |         +47 63-80-70-00
% Norway                  | fax   : +47 63-80-72-12