| Organization | Publications | Calls for Papers | Books |
The Center for High Assurance Computing Systems conducts
interdisciplinary research and development in techniques for
processing and communicating data that preserve critical system
properties, such as security, safety, availability, and timely
delivery of computational results. Improved formal methods for
analyzing and developing software and hardware systems are a primary
research focus: such methods can support more precise and accurate
statements about the critical properties of computer systems. Current
investigations include:
The Center also provides consultation and support to other components
of NRL, the Navy, and the Department of Defense in the planning and
execution of projects that exploit secure information processing
technology.
If you want to contact us or plan a visit, look
here.
Official Links:
the foundations of security
techniques for system requirements engineering techniques for developing highly assured
building blocks for trustworthy systems techniques for developing trustworthy database management systems, networks and distributed systems the role of cryptographic devices in high assurance systems the management and distribution of cryptographic keys techniques for developing high assurance real-time systems
