Slashdot Mirror

← Back to Stories (view on slashdot.org)

NSA Open Sources Tokeneer Research Project

Posted by ryuzaki0 on from the they-aren't-known-for-their-sharing dept.

An anonymous reader writes to mention that the Tokeneer research project has been released to the open source community by the US National Security Agency. The main goal of this project was to show how highly secure software can be developed cost-effectively. "Tokeneer has been written in SPARK Ada, a high level programming language designed for high-assurance applications. Originally a subset of the Ada language, it is designed in such a way that all SPARK programs are legal Ada programs. Ada is the natural choice for mission-critical, high-integrity systems due to its combination of flexibility, reliability and ease of use, and SPARK further adds a static verification toolset that combines depth, soundness, efficiency and formal guarantees."

5 of 94 comments (clear)

  1. fIRST SPARKLING POST by Anonymous Coward · · Score: -1, Offtopic

    HA

    1. Re:fIRST SPARKLING POST by Anonymous Coward · · Score: -1, Offtopic

      You missed. Your post is tossed into the Phail Pail.

  2. In Soviet Amerika, by Anonymous Coward · · Score: -1, Offtopic

    Tokeneer Research Project open YOU.

  3. mo3 3own by Anonymous Coward · · Score: -1, Offtopic

    and the Bazzar So that their Ass of them all, Assholes, as they Create, manufacture filed countersuit, The mobo blew departures of And the striking than a fraction

  4. Re:Useless by bytesex · · Score: 0, Offtopic

    Well, ideally, distances measured in meters and in feet would be two (sub)classes that, when cast to each other, automatically take care of the conversion. And in C++, you could even add them up, yielding the distance in units of the right hand side (presumably). -pedantic mode off-

    --
    Religion is what happens when nature strikes and groupthink goes wrong.