Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns

Bures, T.; Hnetynka, P.; Heinrich, Robert ¹; Seifermann, Stephan

¹
¹ Karlsruher Institut für Technologie (KIT)

Postprint

DOI: 10.5445/IR/1000127260/post

Veröffentlicht am 27.10.2021

Originalveröffentlichung
DOI: 10.1007/978-3-030-61470-6_18

Scopus
Zitationen: 7

Dimensions
Zitationen: 5

Seitenaufrufe: 166
seit 09.12.2020

Downloads: 260
seit 06.01.2022

Zugehörige Institution(en) am KIT	Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2020
Sprache	Englisch
Identifikator	ISBN: 978-3-030-61469-0 ISSN: 0302-9743, 1611-3349 KITopen-ID: 1000127260
Erschienen in	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. T. Margaria
Veranstaltung	9th International Symposium on Leveraging Applications of Formal Methods (2020), Rhodos, Griechenland, 20.10.2020 – 30.10.2020
Verlag	Springer-Verlag
Seiten	295-310
Serie	Lecture notes in computer science (LNCS) ; 12477
Bemerkung zur Veröffentlichung	Die Veranstaltung „9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30“ wurde aufgrund der Corona-Pandemie abgesagt.
Vorab online veröffentlicht am	27.10.2020
Nachgewiesen in	Dimensions OpenAlex Scopus
Globale Ziele für nachhaltige Entwicklung