the Naval Postgraduate School (High Assurance Security Program) and University
of Idaho [Multiple Independent Levels of Security (MILS)].
Outside the United States and particularly in Europe, research trends
reflect the emergence of security as an extension of software safety: the