Re: secure software engineering methodology
Mads Rasmussen <[email protected]>
| Newsgroups | gmane.comp.security.programming |
|---|---|
| Message-ID | <[email protected]> |
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