RE: secure software engineering methodology
Jeremy Epstein <[email protected]>
| Newsgroups | gmane.comp.security.programming |
|---|---|
| Message-ID | <5B10E50E14A4594EB1B5566B69AD9407049A7B22@maileast> |
Al Stavely (the author cited) was a professor of mine, and is now an independent consultant. I'd be happy to connect people to him (but I don't have his permission to distribute his email address). --Jeremy > -----Original Message----- > From: Mads Rasmussen [mailto:[email protected]] > Sent: Tuesday, March 23, 2004 12:05 PM > To: Bill Weiss > Cc: [email protected] > Subject: Re: secure software engineering methodology > > > Bill Weiss wrote: > > Mads Rasmussen([email protected])@Mon, Mar 22, 2004 at > 10:42:49AM -0300: > >>Do any of you have any experience with methodologies for software > >>engineering of secure software? > > > > I have some experience with the Cleanroom method, using the > book "Toward > > zero-defect programming" by Allan Stavely. > > Great, I'll have a look, thanks. From the review it sounds like > something worth looking into > > Mads >