A Generic Metamodel For Security Policies Mutation

  • Authors:

  • Tejeddine Mouelhiv;Franck Fleurey;Benoit Baudry

  • Affiliations:

  • -;-;-

  • Venue:
  • ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
  • Year:
  • 2008

  • Modeling security for service oriented applications

    Proceedings of the Fourth European Conference on Software Architecture: Companion Volume

  • Security as a service model in SOA

    AIASABEBI'11 Proceedings of the 11th WSEAS international conference on Applied informatics and communications, and Proceedings of the 4th WSEAS International conference on Biomedical electronics and biomedical informatics, and Proceedings of the international conference on Computational engineering in systems applications

  • SOA management and security enforcement

    SITE'12 Proceedings of the 11th international conference on Telecommunications and Informatics, Proceedings of the 11th international conference on Signal Processing

Quantified Score

Hi-index 0.00

Visualization

Abstract

Some approaches to Model-Based Testing focus on test case generation from assertions (operation pre- and post- conditions) and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions must be val- idated. Validation ...