[GAP] Ada for security (rather than safety, reliability)?

[Bo Sanden]

This came up in a class discussion. I haven't researched it.

Some security vulnerabilities are caused by abusable syntax in widely 
used languages. Are there examples where Ada has been chosen expressly 
to avoid such vulnerabilities? If not, are there examples where security 
has been mentioned along with other concerns such as safety or 
reliability as reasons for choosing Ada?

Bo


-- 
Dr. Bo I. Sandén
Professor of Computer Science
Colorado Technical University
4435 N. Chestnut Street 
Colorado Springs, CO 80907-3896
U.S.A.

http://member.acm.org/~bsanden
(0719) 590-6733