↓ 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 8: Security Goals and Protocol Transformations
Altmetric Badge

Readers on

mendeley
4 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
Security Goals and Protocol Transformations
Chapter number 8
Book title
Theory of Security and Applications
Published by
Springer, Berlin, Heidelberg, March 2011
DOI 10.1007/978-3-642-27375-9_8
Book ISBNs
978-3-64-227374-2, 978-3-64-227375-9
Authors

Joshua D. Guttman

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

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

This page is provided by Altmetric.