Describir: Towards Principled Analysis and Mitigation of Space Cyber Risks