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

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Overview of attention for book
Cover of 'Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The CaPiTo Approach to Protocol Validation
  3. Altmetric Badge
    Chapter 2 Reasoning about Probabilistic Security Using Task-PIOAs
  4. Altmetric Badge
    Chapter 3 Secrecy and Authenticity Types for Secure Distributed Messaging
  5. Altmetric Badge
    Chapter 4 Modular Plans for Secure Service Composition
  6. Altmetric Badge
    Chapter 5 A Type System for Access Control Views in Object-Oriented Languages
  7. Altmetric Badge
    Chapter 6 Formal Analysis of Key Integrity in PKCS#11
  8. Altmetric Badge
    Chapter 7 Secure Upgrade of Hardware Security Modules in Bank Networks
  9. Altmetric Badge
    Chapter 8 Interactive Information Flow
  10. Altmetric Badge
    Chapter 9 Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain
  11. Altmetric Badge
    Chapter 10 Match It or Die: Proving Integrity by Equality
  12. Altmetric Badge
    Chapter 11 Towards Automatic Analysis of Election Verifiability Properties
  13. Altmetric Badge
    Chapter 12 AnBx - Security Protocols Design and Verification
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
8 Mendeley
Summary Wikipedia
So far, Altmetric has seen 1 Wikipedia article.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.