RE: secure software engineering methodology
Al Stavely <[email protected]>
| Newsgroups | gmane.comp.security.programming |
|---|---|
| Message-ID | <[email protected]> |
Sure, feel free! The address I'm replying from is OK as of now, and my more permanent address is [email protected] . Also, I have web pages at http://www.nmt.edu/~astavely/ . Many thanks for the help! Cheers, - Al Stavely On Tue, 23 Mar 2004, Jeremy Epstein wrote: > Date: Tue, 23 Mar 2004 12:32:31 -0500 > From: Jeremy Epstein <[email protected]> > To: Mads Rasmussen <[email protected]>, Bill Weiss <[email protected]> > Cc: [email protected] > Subject: RE: secure software engineering methodology > > 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 > > >