Protocols, Strands, and Logic

Protocols, Strands, and Logic
Author : Daniel Dougherty
Publisher : Springer Nature
Total Pages : 425
Release : 2021-11-18
ISBN 10 : 9783030916312
ISBN 13 : 3030916316
Language : EN, FR, DE, ES & NL

Protocols, Strands, and Logic Book 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.

Protocols, Strands, and Logic
Language: en
Pages: 425
Authors: Daniel Dougherty
Categories: Computers
Type: BOOK - Published: 2021-11-18 - Publisher: Springer Nature

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 enc
Protocols, Strands, and Logic
Language: en
Pages: 425
Authors: Daniel Dougherty
Categories: Computers
Type: BOOK - Published: 2021-11-19 - Publisher: Springer

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 enc
Formal Methods and Software Engineering
Language: en
Pages: 502
Authors: Kung-Kiu Lau
Categories: Computers
Type: BOOK - Published: 2005-10-27 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November
Distributed Computing and Internet Technology
Language: en
Pages: 277
Authors: Ram Ramanujam
Categories: Computers
Type: BOOK - Published: 2012-02-21 - Publisher: Springer

This book constitutes the refereed proceedings of the 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, held in Bhuban
Aspects of Network and Information Security
Language: en
Pages: 355
Authors: Evangelos Kranakis
Categories: Computers
Type: BOOK - Published: 2008 - Publisher: IOS Press

Network security is concerned with creating a secure inter-connected network that is designed so that on the one hand, users cannot perform actions that they ar
Protocols for Authentication and Key Establishment
Language: en
Pages: 321
Authors: Colin Boyd
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

Protocols for authentication and key establishment are the foundation for security of communications. The range and diversity of these protocols is immense, whi
Web Information Systems and Mining
Language: en
Pages: 599
Authors: Liu Wenyin
Categories: Business & Economics
Type: BOOK - Published: 2009-10-26 - Publisher: Springer Science & Business Media

Researchers and professionals
Security Protocols
Language: en
Pages: 354
Authors: Bruce Christianson
Categories: Computers
Type: BOOK - Published: 2005-09-21 - Publisher: Springer

Greetings. These are the proceedings of the 11th in our series of International Workshops on Security Protocols. Our theme this time was “Where have all the P
Artificial Intelligence in Medicine
Language: en
Pages: 494
Authors: Steen Andreassen
Categories: Medical
Type: BOOK - Published: 1993 - Publisher: IOS Press

The knowledge-based management of medical acts in NUCLEUS -- Knowledge Acquisition, Representation & Learning -- Knowledge Representation and Modelling in HYBRI
Logic Programming
Language: en
Pages: 564
Authors: Patricia M. Hill
Categories: Computers
Type: BOOK - Published: 2009-07-24 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The