DocumentCode :
2561869
Title :
Ada´s Suitability for Trusted Computer Systems
Author :
Anderson, Eric R.
Author_Institution :
TRW Defense Systems Group
fYear :
1985
fDate :
22-24 April 1985
Firstpage :
184
Lastpage :
184
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Security and Privacy, 1985 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
ISSN :
1540-7993
Print_ISBN :
0-8186-0629-0
Type :
conf
DOI :
10.1109/SP.1985.10020
Filename :
6234821
Link To Document :
بازگشت