3 papers
cs.SE2026
A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
Dylan Léveillé, Jason Jaskolka
Selecting the combination of security controls that will most effectively protect a system's assets is a difficult task. If the wrong controls are selected, the system may be left…
cs.MA2025
Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
Dylan Léveillé
Belief-Desire-Intention (BDI) is a framework for modelling agents based on their beliefs, desires, and intentions. Plans are a central component of BDI agents, and define sequences…
cs.CR2024
A Game-Theoretic Approach for Security Control Selection
Dylan Léveillé, Jason Jaskolka
Selecting the combination of security controls that will most effectively protect a system's assets is a difficult task. If the wrong controls are selected, the system may be left…