Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows /: essays dedicated to Catherine A. Meadows. (2019)

• Record Type: Book
• Further Information: Note: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
• Editors: Guttman, Joshua D; Landwehr, Carl E; Meseguer, José; (Economist), Pavlović, Duško
• Other Names: Catherine Meadows Festschrift Symposium
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xii, 239 pages), illustrations (some color)
• Subjects: 005.8/24; Data protection -- Congresses; Computer network protocols -- Congresses; Cryptography -- Congresses; Logic design -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030190521; 3030190528
• Related ISBNs: 9783030190514
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed June 18, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.