Advies Commissie onderzoek elektronisch stemmen bij 32191 ek-F
Cited by overheid.nl on
Overheid.nl is the Dutch government's web portal, allowing access to parliamentary documents and datasets.
Foundations of Security Analysis and Design V
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
-
Altmetric BadgeChapter 2 An Introduction to Certificate Translation
-
Altmetric BadgeChapter 3 Federated Identity Management
-
Altmetric BadgeChapter 4 Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment
-
Altmetric BadgeChapter 5 Logic in Access Control (Tutorial Notes)
-
Altmetric BadgeChapter 6 The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
-
Altmetric BadgeChapter 7 Verification of Concurrent Programs with Chalice
-
Altmetric BadgeChapter 8 Certified Static Analysis by Abstract Interpretation
-
Altmetric BadgeChapter 9 Resource Usage Analysis and Its Application to Resource Certification
-
Altmetric BadgeChapter 10 Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks
Altmetric Badge
About this Attention Score
-
In the top 25% of all research outputs scored by Altmetric
-
High Attention Score compared to outputs of the same age (82nd percentile)
-
High Attention Score compared to outputs of the same age and source (89th percentile)
Citations
- dimensions_citation
- 3 Dimensions
Readers on
- mendeley
- 20 Mendeley
