↓ Skip to main content

Engineering Secure Software and Systems

Overview of attention for book
Cover of 'Engineering Secure Software and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Verification of Business Process Entailment Constraints Using SPIN
  3. Altmetric Badge
    Chapter 2 From Formal Access Control Policies to Runtime Enforcement Aspects
  4. Altmetric Badge
    Chapter 3 Idea: Trusted Emergency Management
  5. Altmetric Badge
    Chapter 4 Idea: Action Refinement for Security Properties Enforcement
  6. Altmetric Badge
    Chapter 5 Pattern-Based Confidentiality-Preserving Refinement
  7. Altmetric Badge
    Chapter 6 Architectural Refinement and Notions of Intransitive Noninterference
  8. Altmetric Badge
    Chapter 7 Systematically Eradicating Data Injection Attacks Using Security-Oriented Program Transformations
  9. Altmetric Badge
    Chapter 8 Report: Measuring the Attack Surfaces of Enterprise Software
  10. Altmetric Badge
    Chapter 9 Report: Extensibility and Implementation Independence of the .NET Cryptographic API
  11. Altmetric Badge
    Chapter 10 Report: CC-Based Design of Secure Application Systems
  12. Altmetric Badge
    Chapter 11 Protection Poker: Structuring Software Security Risk Assessment and Knowledge Transfer
  13. Altmetric Badge
    Chapter 12 Toward Non-security Failures as a Predictor of Security Faults and Failures
  14. Altmetric Badge
    Chapter 13 A Scalable Approach to Full Attack Graphs Generation
  15. Altmetric Badge
    Chapter 14 MEDS: The Memory Error Detection System
  16. Altmetric Badge
    Chapter 15 Idea: Automatic Security Testing for Web Applications
  17. Altmetric Badge
    Chapter 16 Report: Functional Security Testing Closing the Software – Security Testing Gap: A Case from a Telecom Provider
  18. Altmetric Badge
    Chapter 17 Idea: Measuring the Effect of Code Complexity on Static Analysis Results
Attention for Chapter 13: A Scalable Approach to Full Attack Graphs Generation
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
8 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
A Scalable Approach to Full Attack Graphs Generation
Chapter number 13
Book title
Engineering Secure Software and Systems
Published by
Springer, Berlin, Heidelberg, February 2009
DOI 10.1007/978-3-642-00199-4_13
Book ISBNs
978-3-64-200198-7, 978-3-64-200199-4
Authors

Feng Chen, Jinshu Su, Yi Zhang, Chen, Feng, Su, Jinshu, Zhang, Yi

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 1 13%
Unknown 7 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 63%
Other 1 13%
Student > Master 1 13%
Unknown 1 13%
Readers by discipline Count As %
Computer Science 7 88%
Unknown 1 13%