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

Theory of Security and Applications

Overview of attention for book
Cover of 'Theory of Security and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Union and Intersection Types for Secure Protocol Implementations
  3. Altmetric Badge
    Chapter 2 Secure Composition of Protocols
  4. Altmetric Badge
    Chapter 3 Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
  5. Altmetric Badge
    Chapter 4 G2C: Cryptographic Protocols from Goal-Driven Specifications
  6. Altmetric Badge
    Chapter 5 Modeling Long-Term Signature Validation for Resolution of Dispute
  7. Altmetric Badge
    Chapter 6 Formal Analysis of Privacy for Anonymous Location Based Services
  8. Altmetric Badge
    Chapter 7 Formal Analysis of the EMV Protocol Suite
  9. Altmetric Badge
    Chapter 8 Security Goals and Protocol Transformations
  10. Altmetric Badge
    Chapter 9 Model-Checking Secure Information Flow for Multi-threaded Programs
  11. Altmetric Badge
    Chapter 10 Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
  12. Altmetric Badge
    Chapter 11 Automated Code Injection Prevention for Web Applications
  13. Altmetric Badge
    Chapter 12 Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR
Attention for Chapter 9: Model-Checking Secure Information Flow for Multi-threaded Programs
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
8 Mendeley
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 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.