2 résultats : vérification formelle

Recherche en cours

Par mots-clef = vérification formelle

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

2 résultats

page 1 sur 1

résultats 1 à 2

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

Comment sécuriser notre environnement communicant ?

Ajouter à mon panier

Accéder au document

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)

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

Ajouter à mon panier

Accéder au document

Rebondir