The Center for High Assurance Computer Systems performs basic research, exploratory development, and advanced technology demonstrations in techniques for processing and communicating data that must exhibit critical properties such as secrecy, integrity, availability, safety, and timeliness. Current research activities cover a broad range of topics including communication security, network security, computer security, security evaluations, security engineering, formal specification/verification, software engineering, and real-time systems. Current applications include cryptographic devices, cryptographic key technology, cryptographic protocols, secure command and control systems, Internet security, and high-speed network security. The Center also provides consultation and support to other components of NRL and the Navy in the planning and execution of projects that exploit secure information processing technology. The Center works closely with the National Security Agency (NSA), Space and Naval Warfare Systems Command (SPAWAR), Defense Advanced Research Projects Agency (DARPA), and Defense Information Systems Agency (DISA).