Designing secure systems is a complex and still largely manual process. While automation helps streamline some aspects, making the entire...