32 résultats : utilisateurs

Recherche en cours

Par mots-clef = utilisateurs

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

32 résultats

page 4 sur 4

résultats 31 à 32

Productions_UL

"Vérification efficace d'équivalences observationnelles dans les protocoles cryptographies", par Itsaka Rakotonirina - MT180s 2019

Description : Nombre d’objets du quotidien contiennent des données sensibles, et communiquent à distance avec d’autres appareils. Les mathématiques aident à révéler les failles de ces systèmes, afin que les utilisateurs leur fassent confiance. Itsaka Rakotonirina présente ainsi la problématique de sa thèse "V ...

Mots clés : développement informatique, traitement de données, sécurité des données, piratage, technologie, failles, utilisateurs

Date : 2019

Droits : CC BY-NC-SA

"Vérification efficace d'équivalences observationnelles dans les protocoles cryptographies", par Itsaka Rakotonirina - MT180s 2019

Ajouter à mon panier

Accéder au document

Les STIC : une définition

Description : Les STIC désignent l’ensemble des sciences et technologies concourant à l’étude, la conception et l’implémentation de modèles et systèmes opérationnels d’information et de communication, selon la définition proposée ici par l’ASTI.

Mots clés : recherche en informatique, mathématiques appliquées, réseaux, modèle, utilisateur, fuscia

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode