Romulus: A Computer Security Properties Modeling Environment, Mathesis