Central Library

Normal view MARC view ISBD view

Protocols, Strands, and Logic [electronic resource] : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday / edited by Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe.

Contributor(s): Dougherty, Daniel [editor.] | Meseguer, José [editor.] | Mödersheim, Sebastian Alexander [editor.] | Rowe, Paul [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Security and Cryptology: 13066Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Edition: 1st ed. 2021.Description: X, 425 p. 65 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783030916312.Subject(s): Data protection | Cryptography | Data encryption (Computer science) | Data and Information Security | CryptologyAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.8 Online resources: Click here to access online
Contents:
Cryptography -- Cryptographic Protocols -- Protocol Analysis -- CPSA -- Cybersecurity -- Formal Methods -- Strand Spaces -- Automated Verification -- Model Finding -- Logic -- Attestation -- Accountability -- Differential Privacy -- Quantum Computing -- Game Theory -- Mobile Computing -- Multiset Rewriting -- Proofs and Refutations.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

Cryptography -- Cryptographic Protocols -- Protocol Analysis -- CPSA -- Cybersecurity -- Formal Methods -- Strand Spaces -- Automated Verification -- Model Finding -- Logic -- Attestation -- Accountability -- Differential Privacy -- Quantum Computing -- Game Theory -- Mobile Computing -- Multiset Rewriting -- Proofs and Refutations.

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.

There are no comments for this item.

Log in to your account to post a comment.