11 résultats : verification

Sécurité sur Internet ? La logique à la rescousse...

Sécurité sur Internet ? La logique à la rescousse...

Description : De nombreux dispositifs électroniques visent à améliorer la sécurité des échanges sur des réseaux ouverts comme Internet. Ces dispositifs, tels que les protocoles cryptographiques, reposent souvent sur le chiffrement des données et plus généralement sur des fonctions cryptographiques. Chiffrer ...

Mots clés : authentification, chiffrement, verification, vote éléctronique, protocole de sécurité, protocole crytographique

Date : 07-06-2012

Droits : Droits réservés à l'éditeur et aux auteurs.

Comment sécuriser notre environnement communicant ?

Comment sécuriser notre environnement communicant ?

Description : La sécurité numérique est menacée par des attaques malveillantes de plus en plus pernicieuses. Peut-on réellement sécuriser nos communications ? Stéphanie Delaune apporte des éléments de réponse dans cet épisode du podcast audio.

Mots clés : sécurité numérique, logiciel malveillant, malware, protocole cryptographique, vérification formelle, primitive cryptographique, fuscia

Date : 03-05-2016

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

Test et vérification automatique pour systèmes musicaux interactifs

Test et vérification automatique pour systèmes musicaux interactifs

Description : Le rôle d’un système musical interactif est de jouer d’égal à égal avec des musiciens humains. Pour cela, il doit réagir en temps réel au flux audio produit par les musiciens, suivant une « partition augmentée » écrite dans un langage spécialisé qui décrit en particulier des aspects temporels, des ...

Mots clés : test et vérification automatique, système musical interactif

Date : 03-07-2014

Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt

Comment maîtriser la complexité des logiciels ?

Comment maîtriser la complexité des logiciels ?

Description : Le logiciel est partout dans notre vie quotidienne et cela n'est pas près de s'arrêter ! Jean-Marc Jézéquel, chercheur en informatique, nous parle des enjeux autour de cet objet mathématique qui envahit le monde réel, dans cet épisode du podcast Interstices.

Mots clés : génie logiciel, logiciel complexe, vérification logiciel, qualité logiciel, composants logiciel, fuscia

Date : 26-01-2017

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

Safety Verification of Deep Neural Networks

Safety Verification of Deep Neural Networks

Description : Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it. With potential applications including ...

Mots clés : classification image, verification automatique, apprentissage profond, apprentissage automatique

Date : 19-10-2017

Droits : Droits réservés à l'éditeur et aux auteurs.

Vérifier la sécurité de nos communications

Vérifier la sécurité de nos communications

Description : Quand nous échangeons des messages numériques, nous sommes persuadés de communiquer avec l'interlocuteur que nous avons choisi. Pour s'en assurer réellement, il faut mettre en place des protocoles de communication sécurisés. Mais même en utilisant des canaux sûrs, cela peut ne pas suffire comme ...

Mots clés : protocole de communication, protocole cryptographique, sécurité réseau, algorithmes de chiffrement, algorithmes symétriques, algorithmes asymétriques, algorithmes à clé publique, vérification automatique, fuscia

Date : 22-03-2017

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

Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)

Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)

Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...

Mots clés : compilateur, logiciel critique, programmation fonctionnelle, vérification de programme, vérification formelle, preuve formelle, fuscia, conference, stic, recherche

Date : 08-10-2009

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Les contrôles ultimes pré-transfusionnels pas-à-pas

Les contrôles ultimes pré-transfusionnels pas-à-pas

Description : Au travers d'une situation fictive, ce film pédagogique décrit pas à pas les bonnes pratiques de réalisation des vérifications ultimes pré-transfusionnelles. Un focus particulier est porté sur le contrôle de concordance et le contrôle de compatibilité (réalisation du carton test). Ces vérifications ...

Mots clés : transfusion, hémovigilance, vérifications ultimes pré-transfusionnelles, contrôle de concordance, contrôle de compatibilité, carton-test

Date : 30-01-2014

Produire une protéine recombinante - Chapitre 5 - partie 3

Productions_UL

Produire une protéine recombinante - Chapitre 5 - partie 3

Description : 5/ Les technologies liées à l'ADN. Christophe Jacob, biochimiste et biologiste moléculaire, nous propose d'aborder la technique courante permettant d'introduire un plasmide dans le cytoplasme d'une bactérie haute afin de surproduire la protéine d'intérêt. Pour ce faire, il aborde les points suivants ...

Mots clés : compétence induite, vecteur recombinant, régénération, sélection, plasmide, croissance, colonies, clones bactériens, vecteur natif, gel d'agarose, restriction, séquençage, OGM, risque, santé publique, prévention, culture de bactéries, récolte des bactéries, vérification

Date : 2017

Droits : CC BY-NC-ND 4.0