@InProceedings{KP24,
author={Narges Khakpour and David Parker},
title={Partially-Observable Security Games for Attack-Defence Analysis in Software Systems},
booktitle={Proc. 22nd International Conference on Software Engineering and Formal Methods (SEFM'24)},
year={2024},

editors={},
pages={144–161},
organization={},
publisher={Springer},
series={LNCS},
volume={15280},
address={},
month={},
note={},
key={}
}