↓ 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

Mentioned by

wikipedia
2 Wikipedia pages

Readers on

mendeley
38 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

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Germany 2 5%
Portugal 1 3%
Sweden 1 3%
Mexico 1 3%
Spain 1 3%
Unknown 32 84%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 13 34%
Student > Master 10 26%
Student > Bachelor 3 8%
Researcher 3 8%
Professor 2 5%
Other 4 11%
Unknown 3 8%
Readers by discipline Count As %
Computer Science 27 71%
Mathematics 2 5%
Business, Management and Accounting 2 5%
Social Sciences 2 5%
Economics, Econometrics and Finance 1 3%
Other 1 3%
Unknown 3 8%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. 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
#8,805,035
of 26,032,395 outputs
Outputs from ADS
#7,506
of 26,442 outputs
Outputs of similar age
#53,950
of 187,276 outputs
Outputs of similar age from ADS
#273
of 686 outputs
Altmetric has tracked 26,032,395 research outputs across all sources so far. This one is in the 43rd percentile – i.e., 43% of other outputs scored the same or lower than it.
So far Altmetric has tracked 26,442 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.1. This one is in the 32nd percentile – i.e., 32% of its peers scored the same or lower than it.
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 187,276 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 17th percentile – i.e., 17% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 686 others from the same source and published within six weeks on either side of this one. This one is in the 23rd percentile – i.e., 23% of its contemporaries scored the same or lower than it.