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

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
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Good Attention Score compared to outputs of the same age (73rd percentile)
  • Good Attention Score compared to outputs of the same age and source (69th percentile)

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Readers on

mendeley
38 Mendeley
Summary X Wikipedia

This page is provided by Altmetric.