Behavioral Singletons to Consistently Handle Global States of Security Patterns

Abstract : Secure systems are usually complex since stateful security mechanisms like authentication and authorization have to be integrated into the functional behavior at various places. The security operations are, in general, interdependent such that events at one place may influence the behavior at other places. Thus, the composed specification of a system is neither easy to understand nor to analyze, and a faulty integration of the security mechanisms is often overseen. In this paper, we introduce the concept of singletons into our model-based engineering technique SPACE which facilitates a straightforward integration of security aspects. The behavior of a security protocol is encapsulated in a building block using a two-view interface contract. One view of the contract is quite simple and suffices for the correct integration of the block into a system specification. The other view is more complex but has to be considered only by the block designers to verify that the behavioral model in the block fulfills its interface contract. We exemplify the singletons by means of an authorization mechanism and discuss how to prove that the two views of its interface contract are consistent.
Type de document :
Communication dans un congrès
Karl Michael Göschka; Seif Haridi. 12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7272, pp.73-86, 2012, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-642-30823-9_6〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01527639
Contributeur : Hal Ifip <>
Soumis le : mercredi 24 mai 2017 - 17:22:56
Dernière modification le : mercredi 24 mai 2017 - 17:24:55
Document(s) archivé(s) le : lundi 28 août 2017 - 00:40:07

Fichier

978-3-642-30823-9_6_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Linda Gunawan, Frank Kraemer, Peter Herrmann. Behavioral Singletons to Consistently Handle Global States of Security Patterns. Karl Michael Göschka; Seif Haridi. 12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7272, pp.73-86, 2012, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-642-30823-9_6〉. 〈hal-01527639〉

Partager

Métriques

Consultations de la notice

62

Téléchargements de fichiers

19