Leuven (Belgium) is developing methodologies for goal-oriented security
requirements engineering. These methodologies range from “applicationspecific security requirements engineering to secure architecture design to
secure programming platform implementation.”
The MILOS security model starts with a set of generic specification