A formal approach for interoperability testing of security rules - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

A formal approach for interoperability testing of security rules

Résumé

The interaction between business communities becomes a crucial requirement due to the need of exchanging and sharing resources and services. In general, each system defines its own security policy to manage access control to its resources. In this case, we may have security interoperability problems due to the variety and complexity of secured systems implementations. In this paper, we provide a formal approach for interoperability testing of security rules. First we propose a method to integrate interoperability security rules in a functional model represented by an extended finite automata. Then, test cases are generated from the obtained secured functional model by using an automatic test generation tool, Test Gen-IF. As an application, we provide a case study of security interoperability between two hospitals that share some resources
Fichier non déposé

Dates et versions

hal-01305099 , version 1 (20-04-2016)

Identifiants

Citer

Mazen El Maarabani, Iksoon Hwang, Ana Rosa Cavalli. A formal approach for interoperability testing of security rules. SITIS 2010 : 6th International Conference on Signal-Image Technology & Internet-Based Systems, Dec 2010, Kuala Lumpur, Malaysia. pp.277 - 284, ⟨10.1109/SITIS.2010.53⟩. ⟨hal-01305099⟩
37 Consultations
0 Téléchargements

Altmetric

Partager

More