Bogdan Ksie̜żopolski

• Multilevel modeling of secure systems in QoP-ML