TIC
- Information et Communication
- Informatique
Des logiciels pour doper les cartes à puce
- Tweeter
-
-
0 avis :
Trusted Logic, nouvelle société de technologie issue de l'INRIA a été créée en janvier. Elle devra répondre aux besoins d'une nouvelle génération de cartes à puces permettant la coopération de plusieurs types d'applications. Les problèmes de sécurité et de tailles liées au téléchargement des applications seront les défis essentiels à relever. Les travaux de recherche de l'INRIA sur les algorithmes de preuve formelle seront appliqués aux tests logiciels et des logiciels de cryptographie seront embarqués. L'introduction d'une machine virtuelle dans les puces visera à réduire leur taille par deux, voire quatre. Trusted Logic est le fruit de la collaboration engagée il y a trois ans entre Bull et l'INRIA dans le GIE Dyade pour travailler sur la protection des systèmes embarqués et des transactions sur Internet.
INRIA http://www.inria.fr/INedit/part20b-fra.html
Noter cet article :
Vous serez certainement intéressé par ces articles :
L'IA facilite le dépistage de la tuberculose en Afrique subsaharienne
Aujourd’hui, la tuberculose peut être évitée et traitée. Mais cette maladie infectieuse qui touche les poumons est encore responsable de 1,3 million de décès chaque année et elle est la deuxième ...
Un nouveau modèle de langage d'IA qui imite l'organisation du cerveau
Notre cerveau est un organe très organisé. Les neurones, c’est-à-dire les cellules nerveuses responsables de la transmission des signaux électriques et chimiques dans tout le corps, sont organisés ...
Une IA sûre sans données fiables
Aujourd’hui, presque tout le monde a entendu parler de l’intelligence artificielle et des millions de personnes dans le monde l’utilisent déjà ou y sont exposées, de la rédaction de nos e-mails par ...
Recommander cet article :
- Nombre de consultations : 81
- Publié dans : Informatique
- Partager :
