Ada's Suitability for Trusted Computer Systems

  • E. R. Anderson
  • Published 1985 in 1985 IEEE Symposium on Security and Privacy


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… (More)
DOI: 10.1109/SP.1985.10020


1 Figure or Table

Slides referencing similar topics