↓ 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
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
86 Mendeley
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.
Title
Formal Aspects in Security and Trust
Published by
ADS, January 2009
DOI 10.1007/978-3-642-12459-4
ISBNs
978-3-64-212458-7, 978-3-64-212459-4
Editors

Pierpaolo Degano, Joshua D. Guttman

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Germany 2 2%
Portugal 1 1%
Sweden 1 1%
Mexico 1 1%
Spain 1 1%
Unknown 80 93%

Demographic breakdown

Readers by professional status Count As %
Unspecified 48 56%
Student > Ph. D. Student 13 15%
Student > Master 10 12%
Student > Bachelor 3 3%
Researcher 3 3%
Other 6 7%
Unknown 3 3%
Readers by discipline Count As %
Unspecified 48 56%
Computer Science 27 31%
Mathematics 2 2%
Business, Management and Accounting 2 2%
Social Sciences 2 2%
Other 2 2%
Unknown 3 3%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 4. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 08 October 2021.
All research outputs
#6,491,162
of 23,016,919 outputs
Outputs from ADS
#8,106
of 37,443 outputs
Outputs of similar age
#41,699
of 170,094 outputs
Outputs of similar age from ADS
#248
of 902 outputs
Altmetric has tracked 23,016,919 research outputs across all sources so far. This one has received more attention than most of these and is in the 70th percentile.
So far Altmetric has tracked 37,443 research outputs from this source. They receive a mean Attention Score of 4.6. This one has done well, scoring higher than 76% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 170,094 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 73% of its contemporaries.
We're also able to compare this research output to 902 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 69% of its contemporaries.