CONTENTS - Emerald

041407 `Design and Analysis of Key Exchange Protocols via Secure Channel
Identi cation'
CBoyd, WB Mao, Asiacrypt 94 pp 149{159
The authors suggest a new approachtoverifying cryptographic protocols; each public
key encryption operation creates a channel with either con dentiality orintegrity.
By writing these as arrows and diagram chasing, it can be seen for example that the
TMN protocol is awed.
041408 `Designing Secure Key Exchange Protocols'
CBoyd, WB Mao, ESORICS 94 pp 93{105
The authors present a new protocol formalism which is designed to assist the designer
in determining the functional requirements and then translating these into a
veri ed design.
041409 `Formal Methods reality Check: Industrial Usage'
D Craigen, S Gerhart, T Ralston, IEEE Transactions on Software Engineering v 21 no
2(Feb 95) pp 90{98
The authors survey twelve cases of the industrial use of formal methods. These
include a rewall and a smartcard system, as well as a number of transport projects
and software products.
041410 `Probabilistic Authentication Analysis'
J Domingo-Ferrer, Cardis 94 pp 49{59
The author describes a version of the BAN logic in which initial beliefs have probabilities
not equal to 0 or 1. Rules for combining probabilities are given, and it is
claimed that this approach can help measure the e ciency of cryptographic protocols.
041411 `A Ket Distribution Method for Object-Based Protection'
WFord, MJ Wiener, Fairfax 94 pp 193{197
The authors discuss various ways in which cryptographic keys can be bound into
access control blocks for use in distributed systems, especially of the object oriented
variety.
041412 `New Protocols for Third-Party-Based Authentication and Secure
Broadcast'
L Gong, Fairfax 94 pp 176{183
The author presents a number of authentication protocols which use hash functions
and Shamir's secret sharing scheme instead of conventional block encryption. The basic
idea is that a server who shares di erent secrets with Alice and Bob can construct some
numbers using nonces supplied by them which enable each of them to extract a secret
key using polynomial interpolation.
041413 `IRC and Security |Can the Two Co-exist?'
S Gordon, Network Security (Oct 94) pp 10{17
This article explains the Internet Relay Chat protocol and describes some of the
ways it can be exploited or attacked, including netsplits, robot sessions, collisions,
oods and the commoner Trojans.
041414 `Nothing is the Key to the Future'
W Hancock, Network Security (Oct 94) pp 8{9
A large number of communications protocols are now having to be reengineered
to provide more namespace, since no-one thought that networks would grow as fast as
they did. This creates a lot of opportunities for chaos and disruption.
041415 `Beacon Based Authentication'
A Jiwa, J Seberry, YL Zheng, ESORICS 94 pp 125{141
The authors develop an idea of Rabin's for a beacon, a service which continually
broadcasts certi ed nonces, and shows that it can be used to simplify authentication
27