Thales et le CEA ont présenté une « rupture technologique » en matière de cybersécurité
2017-03-11 opex360.com
« L’innovation réside dans la vérification formelle de composants de librairies sécurisés pour le
chiffrement des communications sensible », ont résumé Thales et le CEA via un communiqué
commun. Pour être plus précis, il s’agit d’avoir recours à des techniques mathématiques afin de
prouver qu’un système est conforme à ses spécifications.
Source : www.opex360.com/2017/03/11/thales-le-cea-ont-presente-rupture-technologique-en-matiere-de-cybersecurite/
Les Commentaires