W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	MODELSWARD (Veranstaltung : 9. : 2021 : Online) Model-Driven engineering and software development
1. Verfasser:	Sultan, Bastien (VerfasserIn)
Weitere Verfasser:	Apvrille, Ludovic (VerfasserIn), Jaillon, Philippe (VerfasserIn), Coudert, Sophie (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments	2023	Zaidenberg, Nezer Jacob
A Methodological Framework for SPL Engineering from DSML	2023	Englebert, Vincent
A Digital Twin Description Framework and Its Mapping to Asset Administration Shell	2023	Oakes, Bentley James
Decomposable and Executable Models for Verification of Real-Time Systems	2023	McColl, Callum
PSCS4CPP: A Generative PSCS Implementation for C++	2023	Hammer, Maximilian
Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies	2023	Hillenbrand, Andrea
Acknowledging Implementation Trade-Offs When Developing with Units of Measurement	2023	McKeever, Steve
Dependency Graphs to Boost the Verification of SysML Models	2023	Apvrille, Ludovic
Multi-view FMEA Re-validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering	2023	Rinker, Felix
Comparing Goal-Oriented Analysis Techniques: A Controlled Experiment	2023	Cano-Genoves, Carlos
W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures	2023	Sultan, Bastien