Modelling Cyber Defenses using s(CASP). - Steve Moyle; Nicholas Allott; John Manslow (ICLP Workshops, 2023)