Model-Based Security Testing

@inproceedings{Schieferdecker2012ModelBasedST,
  title={Model-Based Security Testing},
  author={I. Schieferdecker and J. Gro{\ss}mann and Martin A. Schneider},
  booktitle={MBT},
  year={2012}
}
  • I. Schieferdecker, J. Großmann, Martin A. Schneider
  • Published in MBT 2012
  • Computer Science
  • Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many years, there has been little approaches that allow for specification of test cases at a higher level of abstraction, for enabling guidance on test identification and specification as well as for automated test generation. Model-based security… CONTINUE READING
    69 Citations
    Security Testing: A Survey
    • 57
    • PDF
    Knowledge-based security testing of web applications by logic programming
    • 6
    • PDF
    CORAL: A Model-Based Approach to Risk-Driven Security Testing
    • 3
    • Highly Influenced
    • PDF
    Evaluation of the IPO-Family algorithms for test case generation in web security testing
    • 16
    Security Testing Based on Attack Patterns
    • Josip Bozic, F. Wotawa
    • Computer Science
    • 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops
    • 2014
    • 25
    Model‐based security testing: a taxonomy and systematic classification
    • 61
    • Highly Influenced
    • PDF
    Model-Based Fuzz Testing
    • I. Schieferdecker
    • Computer Science
    • 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
    • 2012
    • 6
    An Advanced Approach for Choosing Security Patterns and Checking their Implementation
    • PDF
    On the Automation of Security Testing
    • F. Wotawa
    • Computer Science, Engineering
    • 2016 International Conference on Software Security and Assurance (ICSSA)
    • 2016
    • 4
    Risk-Based Vulnerability Testing Using Security Test Patterns
    • 18

    References

    SHOWING 1-10 OF 33 REFERENCES
    A Model-Based Framework for Security Policy Specification, Deployment and Testing
    • 89
    • PDF
    Specification-Based Test Generation for Security-Critical Systems Using Mutations
    • 80
    A Threat Model Driven Approach for Security Testing
    • Linzhang Wang, W. E. Wong, D. Xu
    • Computer Science, Environmental Science
    • Third International Workshop on Software Engineering for Secure Systems (SESS'07: ICSE Workshops 2007)
    • 2007
    • 64
    • PDF
    A Functional Method for Assessing Protocol Implementation Security
    • 73
    • PDF
    Model-based Security Testing Using UMLsec: A Case Study
    • J. Jürjens
    • Computer Science
    • Electron. Notes Theor. Comput. Sci.
    • 2008
    • 55
    • PDF
    Fault-Based Conformance Testing in Practice
    • 22
    • PDF
    Secure systems development with UML
    • 801