Documentation of Confidentiality Modeling and Analysis in Palladio¶
This documentation briefly explains the tooling that can be used to model and analyze confidentiality in software architectures based on Palladio [RBH+16].
The suggested reading path is staring with the First Start and deciding how to proceed from there. You may also only use this manual to look up terms or features using the search.
Note
Please note that the manual only covers a part of the overall modeling and analysis approach. Even if the underlying implementation supports all published concepts [SHR19] [SHWR21] [HSH+21], the user interface for end-users is not fully implemented yet.
Contents
References¶
- HSH+21
Sebastian Hahner, Stephan Seifermann, Robert Heinrich, Maximilian Walter, Tomás Bures, and Petr Hnetynka. Modeling data flow constraints for design-time confidentiality analyses. In 18th IEEE International Conference on Software Architecture Companion, ICSA Companion 2021, Stuttgart, Germany, March 22-26, 2021, 15–21. IEEE, 2021. doi:10.1109/ICSA-C52384.2021.00009.
- RBH+16
Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, and Klaus Krogmann. Modeling and Simulating Software Architectures – The Palladio Approach. MIT Press, Cambridge, MA, October 2016. ISBN 9780262034760. URL: http://mitpress.mit.edu/books/modeling-and-simulating-software-architectures.
- SHR19
Stephan Seifermann, Robert Heinrich, and Ralf H. Reussner. Data-driven software architecture for analyzing confidentiality. In IEEE International Conference on Software Architecture, ICSA 2019, Hamburg, Germany, March 25-29, 2019, 1–10. IEEE, 2019. doi:10.1109/ICSA.2019.00009.
- SHWR21
Stephan Seifermann, Robert Heinrich, Dominik Werle, and Ralf H. Reussner. A unified model to detect information flow and access control violations in software architectures. In Sabrina De Capitani di Vimercati and Pierangela Samarati, editors, Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, July 6-8, 2021, 26–37. SCITEPRESS, 2021. doi:10.5220/0010515300260037.