Title :
Ada´s Suitability for Trusted Computer Systems
Author :
Anderson, Eric R.
Author_Institution :
TRW Defense Systems Group
Abstract :
This paper addresses some of the criticisms that have been leveled against Ada´s stdtabillty for use in trusted computer systems. It treats the use of Ada for both untrusted applications programs and security kernel implementation. (It does not directly address the use of Ada for other trusted software, but much of what is said about its use for security kernels applies to trusted software as well.) The paper concludes that each Ada criticism is either unfounded or poses a problem that has a solution; thus, Ada is Indeed suitable for trusted computer system implementation.
Keywords :
Computers; Kernel; Runtime; Security; Standards; US Department of Defense;
Conference_Titel :
Security and Privacy, 1985 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0629-0
DOI :
10.1109/SP.1985.10020