Laboratory’s (NRL’s) Centerfor High Assurance Computer Systems in particular has
been engaged in a number of projects with software security assurance dimensions.
In the private sector,research establishments exist both within large corporations
such as Microsoft Research and IBM Research’s Secure Software and Services Group