RE: Missing the point?

["Peter Amey" <peter.amey () praxis-cs co uk>]

> -----Original Message-----
> From: [EMAIL PROTECTED] 
> [mailto:[EMAIL PROTECTED]
> Behalf Of Pascal Meunier
> Sent: 20 April 2004 20:00
> To: Michael A. Davis
> Cc: [EMAIL PROTECTED]
> Subject: Re: [SC-L] Missing the point?
[snip]
> However, the PSP and 
> TSP seem to 
> be working well enough.  I wish I knew more about them, and that they 
> were not proprietary.
>
> Cheers,
> Pascal Meunier

Since you mention PSP and TSP then you shouldn't leave out Praxis's work on CbyC (Correctness by Construction).  CbyC 
was the only other process to compare favourably with TSP in the report "Improving Security Across the Software 
Development Lifecycle" just published by http://www.cyberpartnership.org).

And no, it's not proprietary, we would love to educate the world!  For starters, there are some CbyC papers on 
www.sparkada.com.

Peter


**********************************************************************
This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
the system manager.  The IT Department at Praxis Critical Systems can be contacted at [EMAIL PROTECTED]
This footnote also confirms that this email message has been swept by
MIMEsweeper for the presence of computer viruses.
www.mimesweeper.com
**********************************************************************


________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________