Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2017 - 5:22:56 PM
Last modification on : Tuesday, February 23, 2021 - 7:24:06 PM
Long-term archiving on: : Monday, August 28, 2017 - 12:40:07 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License




Linda Gunawan, Frank 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⟩



Record views


Files downloads