Tomás Bures, Petr Hnetynka, Robert Heinrich, Stephan Seifermann, Maximilian Walter. Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Volume 12477 of Lecture Notes in Computer Science, pages 295-310, Springer, 2020. [doi]
Abstract is missing.