Le programme DARPA High-Assurance Cyber Military Systems (HACMS) développe une technologie pour la création de systèmes cyber-physiques sûrs et sécurisés. En s’appuyant sur une approche fondée sur les méthodes formelles, … Lire la suite de Le Département de la défense des États-Unis développe un système d’authentification multifactorielle