The Modelling and Analysis of Security Protocols: the CSP Approach

Copyright

PEARSON EDUCATION LIMITED

Head office:

Edinburgh Gate

Harlow CM20 2JE

Tel: [phone]

Fax: [phone]

London Office:

128 Long Acre

London WC2E 9AN

Tel: [phone]

Fax: [phone]

Website: www.aw.com/cseng

First published in Great Britain in 2001

© Pearson Education Limited 2001

The rights of P. Y. A. Ryan and S. A. Schneider to be identified as Authors of this Work have been asserted by them in accordance with the Copyright, Designs and Patents Act 1988.

British Library Cataloguing in Publication Data

A CIP catalogue record for this book can be obtained from the British Library

Library of Congress Cataloging in Publication Data

Applied for.

All rights reserved; no part of this publication may be reproduced, ...