Object-oriented design with Ada: maximizing reusability for real-time systems
Object-oriented design with Ada: maximizing reusability for real-time systems
Cryptography and data security
Cryptography and data security
Security framework for integrated networks
MILCOM'03 Proceedings of the 2003 IEEE conference on Military communications - Volume II
| Hi-index | 0.00 |
In this paper, we will present an architecture for developing a system reliant upon trusted Ada software, and some of the lessons learned in our having done such a development. Some background on trusted software and the trusted information systems within which such Ada software operates is provided, as well as some theoretical and practical aspects of the use of Ada in developing these systems. The notion of a trusted computing base (TCB) is presented and defined. A generalized trusted software development approach will be adduced and some aspects of developing CMW TCB components are offered.