http://www.itd.nrl.navy.mil/ITD/5540/
The Center for High Assurance Computing Systems (CHACS) conducts research in highly secure computer systems for the US government. Their home page relates aspects of the research in topics such as secure system requirements engineering, cryptographic development, trustworthy network deployment, as well as topics in real-time safety-critical systems. Users will also find CHACS publications, pages about specific projects the center is working on, information about personnel, and links to other US government servers.