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 metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01527639
Contributor : Hal Ifip <>
Submitted on : Wednesday, May 24, 2017 - 5:22:56 PM
Last modification on : Wednesday, May 24, 2017 - 5:24:55 PM
Long-term archiving on : Monday, August 28, 2017 - 12:40:07 AM

File

978-3-642-30823-9_6_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

127

Files downloads

104