Skip to main content

Protocols, Strands, and Logic

Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

  • Book
  • © 2021


Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13066)

Part of the book sub series: Security and Cryptology (LNSC)

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enclosed in this volume.

Joshua’s most influential and enduring contribution to the field has been the development of the strand space formalism for analyzing cryptographic protocols. It is one of several “symbolic approaches” to security protocol analysis in which the underlying details of cryptographic primitives are abstracted away, allowing a focus on potential flaws in the communication patterns between participants. His attention to the underlying logic of strand spaces has also allowed him to merge domain-specific reasoning about protocols with general purpose, first-order logical theories. The identification of clear principles in a domain paves the way to automated reasoning, and Joshua has been a leader in the development and distribution of several tools for security analysis.

Similar content being viewed by others


Table of contents (23 chapters)

Editors and Affiliations

  • Department of Computer Science, Worcester Polytechnic Institute, Worcester, USA

    Daniel Dougherty

  • Th.M. Siebel Center for Computer Science, University of Illinois Urbana-Champaign, Urbana, USA

    José Meseguer

  • Institute of Mathematics and Computer Science, Technical University of Denmark, Kongens Lyngby, Denmark

    Sebastian Alexander Mödersheim

  • J83K, The MITRE Corporation, Bedford, USA

    Paul Rowe

Bibliographic Information

  • Book Title: Protocols, Strands, and Logic

  • Book Subtitle: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

  • Editors: Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe

  • Series Title: Lecture Notes in Computer Science

  • DOI:

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-91630-5Published: 19 November 2021

  • eBook ISBN: 978-3-030-91631-2Published: 18 November 2021

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 425

  • Number of Illustrations: 65 b/w illustrations

  • Topics: Systems and Data Security, Cryptology

Publish with us