Lecture Notes in Computer Science

Similar documents
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Lecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science

Lecture Notes in Artificial Intelligence. Lecture Notes in Computer Science

Lecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Lecture Notes in Computer Science. Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer

Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Lecture Notes in Computer Science

Spatio-Temporal Image Processing

Lecture Notes in Control and Information Sciences 283. Editors: M. Thoma M. Morari

Lecture Notes in Computer Science

Lecture Notes in Computer Science 1096 Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective

ZEW Economic Studies. Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany

TECHNOLOGY, INNOVATION, and POLICY 3. Series of the Fraunhofer Institute for Systems and Innovation Research (lsi)

Lecture Notes in Artificial Intelligence

Modeling Manufacturing Systems. From Aggregate Planning to Real-Time Control

Communications in Computer and Information Science 85

StraBer Wahl Graphics and Robotics

Future-Oriented Technology Analysis

3 Forensic Science Progress

Lecture Notes in Artificial Intelligence

Lecture Notes in Computer Science 2013 Edited by G. Goos, J. Hartmanis and J. van Leeuwen

2 Forensic Science Progress

Applied Technology and Innovation Management

Architecture Design and Validation Methods

Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK

Lecture Notes in Economics and Mathematical Systems

Lecture Notes in Computer Science 1924 Edited by G. Goos, J. Hartmanis and J. van Leeuwen

MATLAB Guide to Finite Elements

Technology Roadmapping for Strategy and Innovation

Human-Computer Interaction

Lecture Notes in Computer Science 1946 Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Lecture Notes in Computer Science 1500 Edited by G. Goos, J. Hartmanis and J. van Leeuwen

U. Lindemann (Ed.) Human Behaviour in Design

Lecture Notes in Computer Science

Peter Stavroulakis (Ed.) Third Generation Mobile Telecommunication Systems

Simulation by Bondgraphs

Lecture Notes in Computer Science

Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business. Pre-Vocational Education in European Schools RESEARCH

Design for Innovative Value Towards a Sustainable Society

Lecture Notes in Computer Science

Cognitive Systems Monographs

Lecture Notes in Applied and Computational Mechanics

Hierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies

ICT for the Next Five Billion People

Longitudinal Research with Latent Variables

.. Algorithms and Combinatorics 17

Springer Series on. Signals and Communication Technology

Lecture Notes in Computer Science 2379 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science

Dao Companion to the Analects

Advances in Behavioral Economics

Broadband Networks, Smart Grids and Climate Change

Lecture Notes in Computer Science

Studies in Empirical Economics

ANALOG CIRCUITS AND SIGNAL PROCESSING

Lecture Notes in Computer Science 1885 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Control and Information Sciences

Lecture Notes in Economics and Mathematical Systems

6 Forensic Science Progress

Lecture Notes in Artificial Intelligence

SpringerBriefs in Space Development

146 Advances in Polymer Science

Better Business Regulation in a Risk Society

Studies in Economic Ethics and Philosophy

Handbook of Engineering Acoustics

Computer-Aided Production Management

Scientific Data Mining and Knowledge Discovery

Testing Safety-Related Software

Requirements Engineering for Digital Health

Human-Computer Interaction Series

Lecture Notes in Computer Science

Advances in Modern Tourism Research

Lecture Notes in Artificial Intelligence

Lecture Notes in Computer Science 3081

Knowledge-Based Vision-Guided Robots

Lecture Notes in Control and Information Sciences 198. Editor: M. Thoma

Lecture Notes in Computer Science

Lecture Notes in Physics

Lecture Notes in Computer Science 6431

Management of Recreation and Nature Based Tourism in European Forests

Introduction to Fuzzy Logic using MATLAB

Enabling Manufacturing Competitiveness and Economic Sustainability

Lecture Notes in Computational Science and Engineering 68

Health Information Technology Standards. Series Editor: Tim Benson

Lecture Notes in Artificial Intelligence

Lecture Notes in Artificial Intelligence

Risk-Based Ship Design

AutoCAD for Windows Express

Lecture Notes in Economics and Mathematical Systems

Transcription:

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1007 Advisory Board: W. Brauer D. Gries J. Stoer

Antoon Bosselaers Bart Preneel (Eds.) Integrity Primitives for Secure Information Systems Final Report of RACE Integrity Primitives Evaluation RIPE-RACE 1040 Springer

Series Editors Gerhard Goos Universit~it Karlsruhe Vincenz-Priessnitz-StraBe 3, D-76128 Karlsruhe, Germany Juris Hartmanis Department of Computer Science, Cornell University 4130 Upson Hall, Ithaca, NY 14853, USA Jan van Leeuwen Department of Computer Science,Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands Volume Editors Antoon Bosselaers Bart Preneel Department Elektrotechniek - ESAT, Katholieke Universiteit Leuven Kardinaal Mercierlaan 94, B-3001 Heverlee, Belgium Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Integrity primitives for secure information systems : final RIPE report of RACE integrity primitives evaluation (R1040) / Antoon Bosselaers ; Bart Preneel (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 1995 (Lecture notes in computer science ; Vol. 1007) ISBN 3-540-60640-8 NE: Bosselaers, Antoon [Hrsg.]; GT CR Subject Classification (1991): D.4.6, E.3, K.6.5 ISBN 3-540-60640-8 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer -Verlag. Violations are liable for prosecution under the German Copyright Law. 9 Springer-Verlag Berlin Heidelberg 1995 Printed in Germany Typesetting: Camera-ready by author SPIN 10487165 0613142-5 4 3 2 1 0 Printed on acid-free paper

RIPE Integrity Primitives Final report of RACE Integrity Primitives Evaluation (R1040) A. Berendschot, PTT Research, Leidschendam (NL) B. den Boer, Philips Crypto B.V., Eindhoven (NL) J.P. Boly, PTT Research, Leidschendam (NL) A. Bosselaers, ESAT Lab, K.U. Leuven (B) J. Brandt, Aarhus Universitet, ~[thus (DK) D. Chaum (chairman), CW1//Digicash, Amsterdam (NL) I. Damgs Aarhus Universitet, fllrhns (DK) M. Dichtl, Siemens AG, Miinchen (D) W. Fumy, Siemens AG, Miinchen (D) M. van der Ham, CW1, Amsterdam (NL) C.J.A. Jansen, Philips Crypto B. If., Eindhoven (NL) P. Landrock, Aarhus Universitet, fltrhus (DK) B. Preneel, ESAT Lab, K.U. Leuven (B) G. Roelofsen, PTT Research, Leidschendam (NL) P. de Rooij, PTT Research, Leidschendam (NL) J. Vandewalle, ESAT Lab, K.U. Leuven (B) Abstract This is a manual intended for those seeking to secure information systems by applying modern cryptography. It represents the successful attainment of goals by RIPE (RACE Integrity Primitives evaluation), a 350 man-month project funded in part by the Commission of the European Communities. The recommended portfolio of integrity primitives, which is the main product of the project, forms the heart of this volume. By integrity, we mean the kinds of security that can be achieved through cryptography, apart from concealment. Thus included are ways to ensure that stored or communicated data is not illicitly modified, that parties exchanging messages are actually present, and that "signed" electronic messages can be recognised as authentic by anyone. Of particular concern to the project were the high-speed requirements of broadband communication. But the project also aimed for completeness in its recommendations. As a result, the portfolio contains primitives, i.e., building blocks, that can meet most of today's perceived needs for integrity. AMS Subject Classification (1991): 94A60 CR Subject Classification (1991): D.4.6 Keywords ~ Phrases: Integrity Primitives, Secm'ity Services, Integrity Mechanisms, Data Origin Authentication, Entity Authentication, Access Control, Data Integrity, Non-repudiation, Signature, Key Exchange. Note: The work described in this report is the result of a research project carried out during the period 1 November 1988 to 30 June 1992. While the project received support under the EC RACE programme, the results should not be interpreted as a given view on the Community policy in this area.

Table of Contents I Introduction and Background II Integrity Concepts III Recommended Integrity Primitives 23 1 Introduction to Part III... 25 2 M DC-4... 31 3 RIPEMD... 69 4 RIPE-MAC... 113 5 IBC-FIash... 145 6 SKID... 169 7 RSA... 179 8 COMSET... 199 9 RSA Key Generation...................... 213 10 Implementation Guidelines for Arithmetic Computation... 233