E-Book, Englisch, Band 11565, 239 Seiten, eBook
Guttman / Landwehr / Meseguer Foundations of Security, Protocols, and Equational Reasoning
Erscheinungsjahr 2019
ISBN: 978-3-030-19052-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Essays Dedicated to Catherine A. Meadows
E-Book, Englisch, Band 11565, 239 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-19052-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Cathy Meadows: A Central Figure in Protocol Analysis.- A Long, Slow Conversation.- Key Reminiscences.- Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method.- Finding Intruder Knowledge with Cap Matching.- Robust Declassification by Incremental Typing.- JRIF: Reactive Information Flow Control for Java.- Symbolic Timed Trace Equivalence.- Symbolic Analysis of Identity-Based Protocols.- Enrich-by-Need Protocol Analysis for Diffie-Hellman.- Key Agreement via Protocols.- Privacy protocols.- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.- Belenios: A Simple Private and Verifiable Electronic Voting System.