PROTECTED] [mailto:[EMAIL PROTECTED] On
Behalf Of SC-L Subscriber Dave Aronson
Sent: 07 June 2007 13:53
To: SC-L@securecoding.org
Subject: Re: [SC-L] FW: What's the next tech problem to be solvedin
softwaresecurity?
Michael S Hines [mailto:[EMAIL PROTECTED] writes:
Product integration - why have
At 9:51 PM +0100 6/9/07, David Crocker wrote:
If instead we pay people to perform the more skilled tasks of establishing
requirements and specifying the systems to meet them, and use computers to
generate programs that meet the specifications, then such things as freedom
from
buffer
ljknews,
Yes, it is virtually impossible to get a serious runtime error in an Ada
program. For example:
http://www.youtube.com/watch?v=kYUrqdUyEpI
rCs
At 9:51 PM +0100 6/9/07, David Crocker wrote:
If instead we pay people to perform the more skilled tasks of establishing
requirements
At 9:16 AM -0400 6/10/07, Robert C. Seacord wrote:
ljknews,
Yes, it is virtually impossible to get a serious runtime error in an Ada
program. For example:
http://www.youtube.com/watch?v=kYUrqdUyEpI
It amazes me that someone in a discussion of software security would point
to a page that
