Bruno Blanchet Equipe Interpretation abstraite

Bruno Blanchet Equipe Interpretation abstraite

31

pages

Français

Documents

2002

Écrit par
Bruno Blanchet

Publié par
pefav

Lire un extrait

Lire un extrait

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

Découvre YouScribe en t'inscrivant gratuitement

Découvre YouScribe en t'inscrivant gratuitement

31

pages

Français

Ebook

2002

Lire un extrait

Lire un extrait

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

Publié par

Publié le

01 mai 2002

Nombre de lectures

41

Langue

Français

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

Publié par

Publié le

01 mai 2002

Nombre de lectures

41

Langue

Français

Thalès École polytechnique Blanchet

ActionSp´eciﬁqueSe´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´eciﬁqueS´ecurit´e

Analyse de protocoles cryptographiques (David Monniaux, Bruno Blanchet)

Analysedeconﬁdentialite´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´riﬁcationdesecretencalculantunesurapproximationdel’ensemble desmessagesquel’attaquantpeutavoir,repr´esent´eepardes automates d’arbres(David Monniaux).

Repre´sentationabstraitedesprotocolespardes clauses de Horn(Bruno Blanchet)

2

Univers
Ebooks
Livres audio
Presse
Podcasts
BD
Documents

© 2010-2024 YouScribe

Livre audio en ligne - Développement personnel Livre en ligne Tout le catalogue Tous les Intérêts