Protocols Strands Logic Essays (13 results)
Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of His 66.66th Birthday
Dougherty, Daniel (EDT); Meseguer, Jos (EDT); Modersheim, Sebastian Alexander (EDT); Rowe, Paul (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 63.26
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of His 66.66th Birthday
Dougherty, Daniel (EDT); Meseguer, Jos (EDT); Modersheim, Sebastian Alexander (EDT); Rowe, Paul (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 74.68
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of His 66.66th Birthday
Dougherty, Daniel (EDT); Meseguer, Jos (EDT); Modersheim, Sebastian Alexander (EDT); Rowe, Paul (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 68.08
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 68.83
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 71.28
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 86.33
£ 8.15 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of His 66.66th Birthday
Dougherty, Daniel (EDT); Meseguer, Jos (EDT); Modersheim, Sebastian Alexander (EDT); Rowe, Paul (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 78.02
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 97.82
£ 2.96 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 104.56
£ 7.80 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2021
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 69.97
£ 54.31 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 ha…s 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.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 63.59
£ 60.06 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Protocols, Strands, and Logic | Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday | Daniel Dougherty (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2021 | Springer | EAN 9783030916305 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tierg…artenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 98.63
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 103.76
£ 8.54 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
