Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Logic, Language, and Security

Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
BuchKartoniert, Paperback
203 Seiten
Englisch
Springererschienen am29.10.20201st ed. 2020
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.The chapter A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems is available open access under a CC BY 4.0 license at link.springer.com.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR64,19
E-BookPDF1 - PDF WatermarkE-Book
EUR64,19

Produkt

KlappentextThis Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.The chapter A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems is available open access under a CC BY 4.0 license at link.springer.com.
Details
ISBN/GTIN978-3-030-62076-9
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2020
Erscheinungsdatum29.10.2020
Auflage1st ed. 2020
ReiheTheoretical Computer Science and General Issues
Seiten203 Seiten
SpracheEnglisch
IllustrationenX, 203 p. 292 illus., 16 illus. in color.
Artikel-Nr.49042565

Inhalt/Kritik

Inhaltsverzeichnis
Logic.- A â01-Bounded Fragment of In nitary Action Logic with Exponential.- Transcendental syntax IV : logic without systems.- Logic and Computing.- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems.- Logic of fusion.- There's No Time, The Problem of Conceptualising Time.- Andre and the early days of Penn's Logic and Computation Group.- Formal Verification of Ethereum smart contracts using Isabelle/HOL.- Logic and Application - LAP meeting.- Logic and Security.- Formal Methods Analysis of the Secure Remote Password Protocol.- The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols.- Assumption-Based Analysis of Distance-Bounding Protocols with CPSA.- Modelchecking safety properties in randomized security protocols.- Logic and Language.- Andre Scedrov.- Gender Bias in Neural Natural Language Processing.mehr

Schlagworte