↓ Skip to main content

Trustworthly Global Computing

Overview of attention for book
Cover of 'Trustworthly Global Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode
  3. Altmetric Badge
    Chapter 2 Perspectives in Certificate Translation
  4. Altmetric Badge
    Chapter 3 Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
  5. Altmetric Badge
    Chapter 4 Toward a Game-Theoretic Model of Grid Systems
  6. Altmetric Badge
    Chapter 5 Functions as Processes: Termination and the $\lambda\mu\widetilde{\mu}$ -Calculus
  7. Altmetric Badge
    Chapter 6 Predicate Encryption for Secure Remote Storage
  8. Altmetric Badge
    Chapter 7 Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols
  9. Altmetric Badge
    Chapter 8 Expressiveness of Generic Process Shape Types
  10. Altmetric Badge
    Chapter 9 A Java Inspired Semantics for Transactions in SOC
  11. Altmetric Badge
    Chapter 10 Responsive Choice in Mobile Processes
  12. Altmetric Badge
    Chapter 11 A Model of Evolvable Components
  13. Altmetric Badge
    Chapter 12 The Impact of Altruism on the Efficiency of Atomic Congestion Games
  14. Altmetric Badge
    Chapter 13 Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung
  15. Altmetric Badge
    Chapter 14 An Algebra of Hierarchical Graphs
  16. Altmetric Badge
    Chapter 15 Property-Preserving Refinement of Concurrent Systems
  17. Altmetric Badge
    Chapter 16 Certificate Translation for the Verification of Concurrent Programs
  18. Altmetric Badge
    Chapter 17 Certified Result Checking for Polyhedral Analysis of Bytecode Programs
  19. Altmetric Badge
    Chapter 18 A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments
  20. Altmetric Badge
    Chapter 19 A Framework for Rule-Based Dynamic Adaptation
  21. Altmetric Badge
    Chapter 20 CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility
  22. Altmetric Badge
    Chapter 21 Refactoring Long Running Transactions: A Case Study
  23. Altmetric Badge
    Chapter 22 Approximate Model Checking of Stochastic COWS
  24. Altmetric Badge
    Chapter 23 Probabilistic Aspects: Checking Security in an Imperfect World
  25. Altmetric Badge
    Chapter 24 A Tool for Checking Probabilistic Properties of COWS Services
Attention for Chapter 23: Probabilistic Aspects: Checking Security in an Imperfect World
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
4 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.
Chapter title
Probabilistic Aspects: Checking Security in an Imperfect World
Chapter number 23
Book title
Trustworthly Global Computing
Published by
Springer, Berlin, Heidelberg, February 2010
DOI 10.1007/978-3-642-15640-3_23
Book ISBNs
978-3-64-215639-7, 978-3-64-215640-3
Authors

Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Hankin, Chris, Nielson, Flemming, Nielson, Hanne Riis

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%
Other 2 50%
Readers by discipline Count As %
Computer Science 4 100%