Bruno Blanchet Equipe Interpretation abstraite
31
pages
Français
Documents
2002
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
31
pages
Français
Documents
2002
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Action Specifique Securite Bruno Blanchet Equipe Interpretation abstraite sous la direction de Patrick Cousot Departement d'Informatique, Ecole Normale Superieure Mai 2002
Voir
- 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
ActionSp´ecifiqueSe´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:letravaildel’e´quipeInterpre´tationabstraite duLIENSpourl’ActionSp´ecifiqueS´ecurit´e
Analyse de protocoles cryptographiques (David Monniaux, Bruno Blanchet)
Analysedeconfidentialite´pourlecodemobile (J´eroˆmeF´eret)
Tatouage semantique de logiciel ´ (Patrick Cousot, projet TUAMOTU du RNRT)
S´ecurisationdeprogrammesparcontroˆleurd’exe´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´rificationdesecretencalculantunesurapproximationdel’ensemble desmessagesquel’attaquantpeutavoir,repr´esent´eepardes automates d’arbres(David Monniaux).
Repre´sentationabstraitedesprotocolespardes clauses de Horn(Bruno Blanchet)
2
