Categories: Seguridad

Tokeneer: alta seguridad open-source de la NSA

El proyecto fue encargado por la NSA a la empresa británica Praxis, que utiliza el lenguaje de programación para sistemas de alta integridad SPARK, un subconjunto de Ada, lenguaje diseñado por encargo del departamento de defensa estadounidense y usado comercialmente en gestión de tráfico aéreo e industria aeroespacial.

El proyecto ha mostrado que puede alcanzar certificación para el nivel de seguridad 5, de los 7 que contiene la norma EAL (Evaluation Assurance Level). La liberación -sin precedentes- de un proyecto como este a la comunidad de código abierto, tiene como objetivo demostrar cómo el software de seguridad extrema se puede desarrollar de manera eficaz reduciendo el coste de desarrollo de las 10.000 líneas de código que tendrá Tokeneer.

El proyecto está dirigido tanto a la industria como a las comunidades académicas, formando una base ideal para futuras investigaciones. Los requisitos, diseños, especificaciones, objetivo y el código fuente están disponibles en la página oficial

vINQulos
Net-Security

jranchal TI

Recent Posts

Los mensajes RCS, otra vía de acceso para ciberataques

Los mensajes RCS ofrecen muchas más posibilidades que los SMS, pero también abren la puerta…

2 días ago

Telefónica Empresas ayudará a Microsoft a expandir los Copilot+ PC por España

Acompañará a las empresas en sus procesos de equipamiento, desde la elección del hardware hasta…

3 días ago

IBM y Esade promueven el uso de la IA en los Consejos de Administración

Juntos, trabajarán en la formación y la actualización de habilidades para que los consejeros impulsen…

3 días ago

ASUS lanza un Mini PC con inteligencia artificial

Este dispositivo incluye entre sus especificaciones procesador Intel Core Ultra (Serie 2) y botón Copilot.

3 días ago

EasyVisa adquiere una participación mayoritaria en OTRS Group

Ya cuenta en su poder con más del 90 % de las acciones del proveedor…

3 días ago

SoftwareOne y Crayon acuerdan fusionarse

Los actuales consejeros delegados, Raphael Erb y Melissa Mulholland, se convertirán en co-CEOs de la…

3 días ago