Skip to main content
SpringerLink
Log in

Protocols, Strands, and Logic

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

  • Book
  • © 2021

Overview

Editors:
  1. Daniel Dougherty

    1. Department of Computer Science, Worcester Polytechnic Institute, Worcester, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. José Meseguer

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sebastian Alexander Mödersheim

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Paul Rowe

    1. J83K, The MITRE Corporation, Bedford, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Log in via an institution
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

Table of contents (23 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Securing Node-RED Applications

    • Mohammad M. Ahmadpanah, Musard Balliu, Daniel Hedin, Lars Eric Olsson, Andrei Sabelfeld
    Pages 1-21

  3. Protocol Analysis with Time and Space

    • Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
    Pages 22-49

  4. Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer

    • Prajna Bhandary, Edward Zieglar, Charles Nicholas
    Pages 50-76

  5. A Tutorial-Style Introduction to \(\textsf {DY}^\star \)

    • Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz et al.
    Pages 77-97

  6. Security Protocols as Choreographies

    • Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann
    Pages 98-111

  7. How to Explain Security Protocols to Your Children

    • Véronique Cortier, Itsaka Rakotonirina
    Pages 112-123

  8. Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty

    • Pierpaolo Degano, Letterio Galletta, Selene Gerali
    Pages 124-138

  9. Quantum Machine Learning and Fraud Detection

    • Alessandra Di Pierro, Massimiliano Incudini
    Pages 139-155

  10. Model Finding for Exploration

    • Daniel J. Dougherty
    Pages 156-174

  11. Secure Key Management Policies in Strand Spaces

    • Riccardo Focardi, Flaminia L. Luccio
    Pages 175-197

  12. A Declaration of Software Independence

    • Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
    Pages 198-217

  13. Formal Methods and Mathematical Intuition

    • Dale M. Johnson
    Pages 218-231

  14. Establishing the Price of Privacy in Federated Data Trading

    • Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi
    Pages 232-250

  15. On the Complexity of Verification of Time-Sensitive Distributed Systems

    • Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott
    Pages 251-275

  16. Adapting Constraint Solving to Automatically Analyze UPI Protocols

    • Sreekanth Malladi, Jonathan Millen
    Pages 276-292

  17. Three Branches of Accountability

    • Sebastian Mödersheim, Jorge Cuellar
    Pages 293-311

  18. Benign Interaction of Security Domains

    • Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
    Pages 312-331

  19. Probabilistic Annotations for Protocol Models

    • Dusko Pavlovic
    Pages 332-347

  20. Joshua Guttman: Pioneering Strand Spaces

    • Sylvan Pinsky
    Pages 348-354
Back to top

Keywords

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.

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: https://doi.org/10.1007/978-3-030-91631-2

  • 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

Policies and ethics

Back to top

Search

Navigation