L’Agence Nationale de Sécurité Américaine à mis à disposition le projet Tokeneer disponible sur www.adacore.com/tokeneer. C’est la première fois qu’un projet d’une telle ampleur est fourni à la communauté open-source. Il vise à montrer comment des logiciels hautement sécurisés peuvent être développés en optimisant le rapport performances-coût.