Principal Investigator Daniel Jackson
Express security rules, extract evidence from designs, software, etc. to help designers analyze the system and find evidence that supports rules.