Bruno Blanchet Equipe Interpretation abstraite

-

Documents
31 pages
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

Action Specifique Securite Bruno Blanchet Equipe Interpretation abstraite sous la direction de Patrick Cousot Departement d'Informatique, Ecole Normale Superieure Mai 2002

  • analyse de protocoles cryptographiques

  • determiner des proprietes semantiques des programmes

  • analyse de processus du pi calcul et des ambients

  • analyse de programmes probabilistes pour la securite

  • equipe interpretation abstraite

  • analyse de confidentialite pour le code mobile

  • instances du meme processus


Sujets

Informations

Publié par
Publié le 01 mai 2002
Nombre de visites sur la page 41
Langue Français
Signaler un problème
ActionSp´eciqueSe´curit´e
Bruno Blanchet Interpre´tationa
´ EquipeInterpre´tationa bstraite
sous la direction de Patrick Cousot
D´partement d’Informatique, e ´ EcoleNormaleSup´erieure
NormaleSup´erieure
Mai
2002
PartieI:letravaildele´quipeInterpre´tationabstraite duLIENSpourlActionSp´eciqueS´ecurit´e
Analyse de protocoles cryptographiques (David Monniaux, Bruno Blanchet)
Analysedecondentialite´pourlecodemobile (J´eroˆmeF´eret)
Tatouage semantique de logiciel ´ (Patrick Cousot, projet TUAMOTU du RNRT)
S´ecurisationdeprogrammesparcontroˆleurdexe´cution (PatrickCousot,avecRadhiaCousot,´EcolePolytechnique)
Futur :edysroepamgrspmeaborilibsetsruoptie´cerual´snAla (David Monniaux)
1
Analyse de protocoles cryptographiques
Proce´duresdede´cisionpourleslogiques de croyances, comme BAN et GNY (David Monniaux).
Ve´ricationdesecretencalculantunesurapproximationdelensemble desmessagesquelattaquantpeutavoir,repr´esent´eepardes automates d’arbres(David Monniaux).
Repre´sentationabstraitedesprotocolespardes clauses de Horn(Bruno Blanchet)
2