DocumentCode
277809
Title
High integrity Ada-the problem
Author
Wichmann, B.A.
Author_Institution
NPL, Teddington, UK
fYear
1991
fDate
33246
Firstpage
42370
Lastpage
42371
Abstract
The most significant potential source of insecurities in Ada arises from errors in Ada compilers. Several potential sources of insecurity in the language have been identified, and steps should be taken to avoid these issues. The Ada evaluation service can be used to check many potential problems with an Ada system. Other such tools are being developed
Keywords
Ada; data integrity; program compilers; software reliability; Ada; Ada compilers; Ada evaluation service; errors; insecurities; software reliability;
fLanguage
English
Publisher
iet
Conference_Titel
High Integrity Ada, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
180764
Link To Document