From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_05 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,cb9941075b677211,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-04-05 08:00:55 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Newsgroups: comp.lang.ada
Subject: ANN: Praxis and SPARK cited in NCSP Software Security Report
Date: 5 Apr 2004 08:00:55 -0700
Organization: http://groups.google.com
Message-ID: <cf2c6063.0404050700.278a6ffc@posting.google.com>
NNTP-Posting-Host: 62.173.119.178
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1081177255 22989 127.0.0.1 (5 Apr 2004 15:00:55
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 5 Apr 2004 15:00:55 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:6751
Date: 2004-04-05T08:00:55-07:00
List-Id: <comp.lang.ada>

Those of you interested in Ada-related ammunition and news might
be interested in the recent National Cyber Security Partnership
report "Security Across the Software Development Life Cycle" here:

http://www.cyberpartnership.org/init-soft.html

The report cites Praxis Critical Systems' "Correctness by Construction"
(of which Ada and SPARK are a big part) software process as one of
very few that can deliver the quality and defect rate needed for
present and future secure systems.

The Appendix to the report also includes our full "Correctness by
Construction" paper, and metrics for various projects, 4 of which
(all except CDIS) are (or include) SPARK to some extent.

All the best,
 Rod Chapman, SPARK Team, Praxis Critical Systems