Sign in

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

Bastien SultanLudovic ApvrillePhilippe JaillonSophie Coudert
Published in: MODELSWARD (Revised Selected Papers) (2022)
Keyphrases
  • countermeasures
  • information security
  • security measures
  • software engineering
  • machine learning
  • lightweight