Cryptographic Security Architecture: Design and Verification

With 149 Illustrations
Springer
Peter Gutmann
Department of Computer Science
University of Auckland
Private Bag 92019
Auckland
New Zealand
pgut001@cs.auckland.ac.nz
http://www.cs.auckland.ac.nz/~pgut001/cryptlib/
Cover illustration: During the 16th and 17th centuries the art of fortress design advanced from ad hoc methods which threw up towers and walls as needed, materials allowed, and fashion dictated, to a science based on the use of rigorous engineering principles. This type of systematic security architecture design was made famous by Sebastien le Prestre de Vauban, a portion of whose fortress of Neuf-Brisach on the French border with Switzerland is depicted on the cover.
Library of Congress Cataloging-in-Publication Data
Gutmann, Peter.
Cryptographic Security Architecture / Peter Gutmann.
p. cm.
Includes bibliographical references and index.
ISBN 0-387-95387-6 (alk. paper)
I. Computer security. 2. Cryptography. I. Title.
QA76 9.A25 G88 2002
005.8 dc21
2002070742
ISBN 0-387-95387-6
2004 Springer-Verlag New York, Inc.
All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer-Verlag New York, Inc., 175 Fifth Avenue, New York, NY 10010, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden.
The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression...