• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Model-based security verification and testing for smart-cards
 
  • Details
  • Full
Options
2011
Conference Paper
Title

Model-based security verification and testing for smart-cards

Abstract
Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to ensure that the system behaviour conforms to its specification. Recently, it has been successfully applied for testing certain security properties. However, for the success of this approach, it is an important prerequisite to consider the correctness of test models with respect to the given security property. In this paper we present an approach for smart-card specific security properties that permits to validate the system with MBT from test schemas. We combine this MBT approach with UMLsec security verification technique, by using UMLsec stereotypes to verify the model w.r.t. given security properties and gain more confidence in the model. We then define an automatic procedure to generate security test from the UMLsec model via so-called "test schemas". We validate this approach on a fragment of the Global Platform specification and report on available tool support.
Author(s)
Fourneret, E.
Ochoa, M.
Bouquet, F.
Botella, J.
Jürjens, J.
Yousefi, P.
Mainwork
Sixth International Conference on Availability, Reliability and Security, ARES 2011. Proceedings  
Conference
International Conference on Availability, Reliability and Security (ARES) 2011  
DOI
10.1109/ARES.2011.46
Language
English
Fraunhofer-Institut für Software- und Systemtechnik ISST  
Keyword(s)
  • verification

  • model-based testing

  • model-based testing from schemas

  • UML/OCL statechart

  • smart-cards

  • global platform

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024