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."

2 of 94 comments (clear)

  1. Is this an open source announcement, or.... by stox · · Score: 0, Redundant

    a marketing attempt to sell SPARK ada tools?

    --
    "To those who are overly cautious, everything is impossible. "
  2. More copy and paste please by Gothmolly · · Score: 0, Redundant

    "Ada is the natural choice for mission-critical, high-integrity systems due to its combination of flexibility, reliability and ease of use". I'm not sure who agrees with that blanket statement, other than the author of the article that this was lifted from. It sounds like a Microsoft spiel on .Net for crying out loud.

    --
    I want to delete my account but Slashdot doesn't allow it.