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

Concurrency, Security, and Puzzles

Overview of attention for book
Cover of 'Concurrency, Security, and Puzzles'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Stealthy Protocols: Metrics and Open Problems
  3. Altmetric Badge
    Chapter 2 A Specification Theory of Real-Time Processes
  4. Altmetric Badge
    Chapter 3 Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
  5. Altmetric Badge
    Chapter 4 FDR: From Theory to Industrial Application
  6. Altmetric Badge
    Chapter 5 Information Flow, Distributed Systems, and Refinement, by Example
  7. Altmetric Badge
    Chapter 6 Abstractions for Transition Systems with Applications to Stubborn Sets
  8. Altmetric Badge
    Chapter 7 A Hybrid Relational Modelling Language
  9. Altmetric Badge
    Chapter 8 Concurrency, Security, and Puzzles
  10. Altmetric Badge
    Chapter 9 Analysing Lock-Free Linearizable Datatypes Using CSP
  11. Altmetric Badge
    Chapter 10 Discrete Random Variables Over Domains, Revisited
  12. Altmetric Badge
    Chapter 11 A Demonic Lattice of Information
  13. Altmetric Badge
    Chapter 12 A Brief History of Security Protocols
  14. Altmetric Badge
    Chapter 13 More Stubborn Set Methods for Process Algebras
  15. Altmetric Badge
    Chapter 14 A Branching Time Model of CSP
  16. Altmetric Badge
    Chapter 15 Virtualization Based Development
Attention for Chapter 12: A Brief History of Security Protocols
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
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
A Brief History of Security Protocols
Chapter number 12
Book title
Concurrency, Security, and Puzzles
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-51046-0_12
Book ISBNs
978-3-31-951045-3, 978-3-31-951046-0
Authors

Peter Y. A. Ryan, Ryan, Peter Y. A.

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.