↓ Skip to main content
What is this page? Embed badge

Foundations of Security, Protocols, and Equational Reasoning

Overview of attention for book
Cover of 'Foundations of Security, Protocols, and Equational Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Cathy Meadows: A Central Figure in Protocol Analysis
  3. Altmetric Badge
    Chapter 2 A Long, Slow Conversation
  4. Altmetric Badge
    Chapter 3 Key Reminiscences
  5. Altmetric Badge
    Chapter 4 Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method
  6. Altmetric Badge
    Chapter 5 Finding Intruder Knowledge with Cap-Matching
  7. Altmetric Badge
    Chapter 6 Robust Declassification by Incremental Typing
  8. Altmetric Badge
    Chapter 7 JRIF: Reactive Information Flow Control for Java
  9. Altmetric Badge
    Chapter 8 Symbolic Timed Trace Equivalence
  10. Altmetric Badge
    Chapter 9 Symbolic Analysis of Identity-Based Protocols
  11. Altmetric Badge
    Chapter 10 Enrich-by-Need Protocol Analysis for Diffie-Hellman
  12. Altmetric Badge
    Chapter 11 Key Agreement via Protocols
  13. Altmetric Badge
    Chapter 12 Privacy Protocols
  14. Altmetric Badge
    Chapter 13 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols
  15. Altmetric Badge
    Chapter 14 Belenios: A Simple Private and Verifiable Electronic Voting System
Attention for Chapter 11: Key Agreement via Protocols
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Key Agreement via Protocols
Chapter number 11
Book title
Foundations of Security, Protocols, and Equational Reasoning
Published by
Springer, Cham, January 2019
DOI 10.1007/978-3-030-19052-1_11
Book ISBNs
978-3-03-019051-4, 978-3-03-019052-1
Authors

Andrew William Roscoe, Lei Wang

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.