Protocols, Strands, and Logic Image close
Protocols, Strands, and Logic
Protocols, Strands, and Logic
Show Hide Adult Content
Protocols, Strands, and Logic close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Reference  
Research & information: general  
Coding theory & cryptology

Protocols, Strands, and Logic

Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$192.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $48.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Advances in Cryptology – EUROCRYPT 2024
$307.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 10 Jun 2024
Selected Areas in Cryptography
$182.99
Selected Areas in Cryptography
Paperback / softback
Pre-order - out 24 Jun 2024
Mobile, Secure, and Programmable Networking
$158.99
Mobile, Secure, and Programmable Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Internet of Things – ICIOT 2019
$135.99
Internet of Things – ICIOT 2019
Paperback / softback
Available - Usually ships in 3-4 weeks
Cyber-Physical Security for Critical Infrastructures Protection
$120.99
Cyber-Physical Security for Critical Infrastructures Protection
Paperback / softback
Available - Usually ships in 3-4 weeks
Privacy in Statistical Databases
$135.99
Privacy in Statistical Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Cloud Computing – CLOUD 2019 Save $13
$135.99
$149.95
Cloud Computing – CLOUD 2019
Paperback / softback
Available - Usually ships in 3-4 weeks
Ubiquitous Networking
$135.99
Ubiquitous Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Engineering Secure Software and Systems
$146.99
Engineering Secure Software and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Security and Cryptology Save $82
$142.99
$225.95
Information Security and Cryptology
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Computer Interaction. Interaction Technologies Save $68
$135.99
$204.95
Human-Computer Interaction. Interaction Technologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Cryptology and Network Security
$262.99
Cryptology and Network Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Studies in Complexity and Cryptography by Oded Goldreich
$246.99
Studies in Complexity and Cryptography
by Oded Goldreich ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Performance Engineering and Stochastic Modelling
$181.99
Computer Performance Engineering and Stochastic Modelling
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Security and Cryptology – ICISC 2020 Save $22
$135.99
$158.95
Information Security and Cryptology – ICISC 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices Save $44
$137.99
$182.95
Information Security Theory and Practices: Security and Privacy of...
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
November 19th, 2021
Contributors
  • Edited by Daniel Dougherty
  • Edited by Jose Meseguer
  • Edited by Paul Rowe
  • Edited by Sebastian Alexander Mödersheim
Pages
425
Edition
1st ed. 2021
Audience
  • Professional & Vocational
Illustrations
65 Illustrations, black and white; X, 425 p. 65 illus.
ISBN-13
9783030916305
Product ID
35586075

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Reference >
Research & information: general >
Coding theory & cryptology
Books >
Computers & Internet >
Communications & Networking >
Network security
Books >
Computers & Internet >
Computer security
Books >
Computers & Internet >
Computer security >
Data encryption