Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Bruno Blanchet Equipe Interpretation abstraite

De
31 pages
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


Voir plus Voir moins
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
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin