Ada's Suitability for Trusted Computer Systems

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

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

Topics

1 Figure or Table

Slides referencing similar topics