Re: High integrity software *can* be written ...

[silky <michaelslists () gmail com>]

On Sun, Oct 19, 2008 at 7:41 AM, Rob, grandpa of Ryan, Trevor, Devon &
Hannah <rMslade () shaw ca> wrote:
> The NSA (just because it's them doesn't mean it's a conspiracy) has funded a
> project to develop high integrity software.  And it works.
>
> http://www.adacore.com/home/gnatpro/tokeneer/
>
> http://www.adacore.com/multimedia/tokeneer/Tokeneer_Overview.pdf
>
> http://www.listbox.com/member/archive/247/2008/10/sort/time_rev/page/3/entry/3
> :184/20081014171859:B7B1CA18-9A35-11DD-8B12-8922199CFB26/

I'd say a lot of this is dependant on the abilities of the programmers
as compared to the process itself.


> ======================  (quote inserted randomly by Pegasus Mailer)
> rslade () vcn bc ca     slade () victoria tc ca     rslade () computercrime org
>                      _________________________
>                     |    |     |\^/|     |    | swiped
>                     |    |  _|\|   |/|_  |    | from
>                     |    |  >         <  |    | Alan
>                     |    |   >_./|\._<   |    | Tai
>                     |____|_______^_______|____|
> victoria.tc.ca/techrev/rms.htm blogs.securiteam.com/index.php/archives/author/p1/
> _______________________________________________
> Fun and Misc security discussion for OT posts.
> https://linuxbox.org/cgi-bin/mailman/listinfo/funsec
> Note: funsec is a public and open mailing list.

-- 
noon silky
http://skillsforvilla.tumblr.com/
http://www.themonkeynet.com/armada/
_______________________________________________
Fun and Misc security discussion for OT posts.
https://linuxbox.org/cgi-bin/mailman/listinfo/funsec
Note: funsec is a public and open mailing list.