Re: secure software engineering methodology
Gabriel Sjoberg <[email protected]>
| Newsgroups | gmane.comp.security.programming |
|---|---|
| Message-ID | <[email protected]> |
Mads Rasmussen hunched over a computer on the stormy night of 22.Mar.04 07.42, typing feverishly; thunder crashed, our author laughed madly, then wrote: > I know for a fact that AT&T Bell labs has a secure development > methodology called TSM, the Trusted Software Methodology. But nothing > seems published publicly about the contents and its workings. I think this is the "Trusted Software Development Methodology", published by the Department of Defense Strategic Defense Initiative Organization. The document number is SDI-S-SD-91-000007, dated 17 June 1992. If you can't find a version of this online (there's two volumes), I have a paper copy on my desk and a copy I just scanned on my hard disk. -- Gabriel Sjoberg "This is the sort of pedantry up with which I will not put." --Winston Churchill