kit-sdq/GlueCodes-CaseStudy

This repository contains all files to analyze the confidentiality of the BWUniCluster based on architectural modeling.