7 jours d'essai offerts
Cet ouvrage et des milliers d'autres sont disponibles en abonnement pour 8,99€/mois
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