Modelling and Verification of Safety of Access Control in SCADA Systems

von Vistbakka, Inna
Veröffentlicht in CRiSIS (15. : 2020 : Online) Risks and security of internet and systems (2021)

Formalising Privacy-Preserving Constraints in Microservices Architecture

von Vistbakka, Inna
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B

von Vistbakka, Inna
Veröffentlicht in PAAMS (18. : 2020 : L'Aquila) Advances in practical applications of agents, multi-agent systems, and trustworthiness (2020)