↓ Skip to main content

Formal Aspects in Security and Trust

Overview of attention for book
Cover of 'Formal Aspects in Security and Trust'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Semantics and Enforcement of Expressive Information Flow Policies
  3. Altmetric Badge
    Chapter 2 An Algebra for Trust Dilution and Trust Fusion
  4. Altmetric Badge
    Chapter 3 HMM-Based Trust Model
  5. Altmetric Badge
    Chapter 4 Deriving Trust from Experience
  6. Altmetric Badge
    Chapter 5 Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties
  7. Altmetric Badge
    Chapter 6 Model Checking of Security-Sensitive Business Processes
  8. Altmetric Badge
    Chapter 7 Analysing the Information Flow Properties of Object-Capability Patterns
  9. Altmetric Badge
    Chapter 8 Applied Quantitative Information Flow and Statistical Databases
  10. Altmetric Badge
    Chapter 9 Specification and Verification of Side Channel Declassification
  11. Altmetric Badge
    Chapter 10 Secure Information Flow for Distributed Systems
  12. Altmetric Badge
    Chapter 11 Probable Innocence in the Presence of Independent Knowledge
  13. Altmetric Badge
    Chapter 12 A Calculus of Trustworthy Ad Hoc Networks
  14. Altmetric Badge
    Chapter 13 Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
  15. Altmetric Badge
    Chapter 14 Game-Based Verification of Multi-Party Contract Signing Protocols
  16. Altmetric Badge
    Chapter 15 Attack, Solution and Verification for Shared Authorisation Data in TCG TPM
  17. Altmetric Badge
    Chapter 16 Trusted Multiplexing of Cryptographic Protocols
  18. Altmetric Badge
    Chapter 17 Specifying and Modelling Secure Channels in Strand Spaces
  19. Altmetric Badge
    Chapter 18 Integrating Automated and Interactive Protocol Verification
  20. Altmetric Badge
    Chapter 19 A User Interface for a Game-Based Protocol Verification Tool
Attention for Chapter 15: Attack, Solution and Verification for Shared Authorisation Data in TCG TPM
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Readers on

mendeley
21 Mendeley
citeulike
1 CiteULike
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
Attack, Solution and Verification for Shared Authorisation Data in TCG TPM
Chapter number 15
Book title
Formal Aspects in Security and Trust
Published by
Springer, Berlin, Heidelberg, November 2009
DOI 10.1007/978-3-642-12459-4_15
Book ISBNs
978-3-64-212458-7, 978-3-64-212459-4
Authors

Liqun Chen, Mark Ryan, Chen, Liqun, Ryan, Mark

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 2 10%
France 1 5%
Germany 1 5%
Unknown 17 81%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 10 48%
Student > Master 3 14%
Researcher 2 10%
Professor 1 5%
Other 1 5%
Other 2 10%
Unknown 2 10%
Readers by discipline Count As %
Computer Science 16 76%
Psychology 1 5%
Unknown 4 19%