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

Security Standardisation Research

Overview of attention for book
Cover of 'Security Standardisation Research'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Authenticated Key Exchange over Bitcoin
  3. Altmetric Badge
    Chapter 2 Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment
  4. Altmetric Badge
    Chapter 3 Robust Authenticated Key Exchange Using Passwords and Identity-Based Signatures
  5. Altmetric Badge
    Chapter 4 Non-repudiation Services for the MMS Protocol of IEC 61850
  6. Altmetric Badge
    Chapter 5 Analysis of the PKCS#11 API Using the Maude-NPA Tool
  7. Altmetric Badge
    Chapter 6 How to Manipulate Curve Standards: A White Paper for the Black Hat http://bada55.cr.yp.to
  8. Altmetric Badge
    Chapter 7 Security of the SM2 Signature Scheme Against Generalized Key Substitution Attacks
  9. Altmetric Badge
    Chapter 8 Side Channel Cryptanalysis of Streebog
  10. Altmetric Badge
    Chapter 9 Improving Air Interface User Privacy in Mobile Telephony
  11. Altmetric Badge
    Chapter 10 Generating Unlinkable IPv6 Addresses
  12. Altmetric Badge
    Chapter 11 A Practical Trust Framework: Assurance Levels Repackaged Through Analysis of Business Scenarios and Related Risks
  13. Altmetric Badge
    Chapter 12 First Results of a Formal Analysis of the Network Time Security Specification
  14. Altmetric Badge
    Chapter 13 Formal Support for Standardizing Protocols with State
Attention for Chapter 13: Formal Support for Standardizing Protocols with State
Altmetric Badge

Readers on

mendeley
2 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
Formal Support for Standardizing Protocols with State
Chapter number 13
Book title
Security Standardisation Research
Published by
Springer, Cham, December 2015
DOI 10.1007/978-3-319-27152-1_13
Book ISBNs
978-3-31-927151-4, 978-3-31-927152-1
Authors

Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe, Guttman, Joshua D., Liskov, Moses D., Ramsdell, John D., Rowe, Paul D.

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Other 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.