Securing Ada systems

This paper explains how the security assurance of an Ada real time embedded software system may be improved, and shows how this may have benefits for safety critical systems. The paper shows how Ada itself provides many of the features required for secure and safety critical systems. It describes a potential flaw in the architecture of an Ada system, which renders it insecure. The paper proposes a solution to the problem which makes use of virtual memory management enforced by hardware