[ The following email messages by Rod Chapman, Praxis, show that Tokeneer is released under open source software terms. In short, NSA released the software to Praxis under open source software terms, and Praxis released it under those same terms to the world. The "Overview and Reader's Guide", section 2, explains the licensing terms to the world. Most of it is covered by this phrase: "The material generated by Praxis under contract to the NSA is distributed under the terms of the Technology Transfer Agreement (TTA) agreed by Praxis and the NSA. A copy of this agreement is included with (and must always accompany) the release." The TTA, in turn, says: "Company shall have a royalty-free, worldwide, non-exclusive, license to reproduce, prepare derivative works from, distribute, perform, or display the WORK and to authorize others to do so." By the above text, Praxis gives others those same rights. Below are emails that justify this interpretation. ] Subject: RE: [ROS] RE: tokeneer From: Rod Chapman Date: Mon, 6 Oct 2008 14:00:28 +0100 To: [suppressed] I'm pleased to say that the Tokeneer project material is now available under an open-source licence granted to Praxis by the NSA. Please see www.adacore.com/tokeneer I hope some subset of you find the material useful, entertaining, or possibly both... - Rod Chapman, SPARK Team, Praxis ... [After David A. Wheeler asked about its license] Subject: RE: [ROS] RE: tokeneer From: Rod Chapman Date: Mon, 6 Oct 2008 18:57:34 +0100 To: "David A. Wheeler" > >by "NSA grants Praxis a bunch of rights, > > including the > > right to transfer rights". But that does not mean that > > anyone else gets > > those rights; Praxis would have to do so. You are correct. > > Does that mean that all code under Praxis, is then distributed by > > _Praxis_ to _me_ under the same terms that NSA gave them to Praxis? Like I said, that's the intent. - Rod Subject: RE: [ROS] RE: tokeneer From: Rod Chapman Date: Mon, 6 Oct 2008 20:00:16 +0100 To: "David A. Wheeler" > > That makes sense. Can I quote you publicly? That would help. Yes please. - rod