> -----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 ________________________________________________________________________
