Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Protocols, Strands, and Logic

Name: Protocols, Strands, and Logic
Brand: Springer Nature Switzerland AG
SKU: 38348914
Price: 421.79 RON
Availability: InStock
Author: Paul Rowe
ISBN: 9783030916305

Paul Rowe

Sebastian Alexander Mödersheim

José Meseguer

Limba

engleză

Carte Carte broșată

Codul Libristo: 38348914

Editura Springer Nature Switzerland AG, noiembrie 2021

This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The... Descrierea completă

Codul Libristo: 38348914

195 b

421.79 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Sclerom der Schleimhaut der Nase, des Rachens, des Kehlkopfes und der Luftroehre Georg Juffinger

Carte broșată

84.72 lei

Statuts Et Reglemens Des Escoles Chrestiennes Et Charitables Du S. Enfant-Jesus Nicolas Barré

Carte broșată

80.25 lei

Obrona liberalizmu Timothy Garton Ash

Carte broșată

52.66 lei

Taping w rehabilitacji i zapobieganiu kontuzjom Kim Aliana

Carte broșată

49.02 lei

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.