6.1.6 NRL CHACS
The Center for High Assurance Computing Systems (CHACS) [288] within the
NRL Information Technology Division conducts research activities in the focus
areas of “security, safety, availability and timely delivery of computational