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

Foundations of Security Analysis and Design V

Overview of attention for book
Foundations of Security Analysis and Design V
Springer Science & Business Media

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
  3. Altmetric Badge
    Chapter 2 An Introduction to Certificate Translation
  4. Altmetric Badge
    Chapter 3 Federated Identity Management
  5. Altmetric Badge
    Chapter 4 Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment
  6. Altmetric Badge
    Chapter 5 Logic in Access Control (Tutorial Notes)
  7. Altmetric Badge
    Chapter 6 The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
  8. Altmetric Badge
    Chapter 7 Verification of Concurrent Programs with Chalice
  9. Altmetric Badge
    Chapter 8 Certified Static Analysis by Abstract Interpretation
  10. Altmetric Badge
    Chapter 9 Resource Usage Analysis and Its Application to Resource Certification
  11. Altmetric Badge
    Chapter 10 Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks
Attention for Chapter 6: The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
18 Mendeley
citeulike
1 CiteULike
Summary Dimensions citations
So far, Dimensions has found 6 publications that cite this research output.

6

The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.