Behavioral Singletons to Consistently Handle Global States of Security Patterns - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Behavioral Singletons to Consistently Handle Global States of Security Patterns

(1) , (1) , (2)
1
2
Linda Ariani Gunawan
  • Function : Author
  • PersonId : 1008903
Frank Alexander Kraemer
  • Function : Author
  • PersonId : 1008904
Peter Herrmann
  • Function : Author
  • PersonId : 1001654

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.
Fichier principal
Vignette du fichier
978-3-642-30823-9_6_Chapter.pdf (425 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01527639 , version 1 (24-05-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann. Behavioral Singletons to Consistently Handle Global States of Security Patterns. 12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.73-86, ⟨10.1007/978-3-642-30823-9_6⟩. ⟨hal-01527639⟩
95 View
51 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More