X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/8919030d089a2f9508939162c80665d0f9c7987f..e9f2cb916f164b15bce8fe96e4f5432d3df9b7b2:/main.tex?ds=inline

diff --git a/main.tex b/main.tex
index f711727..2211b41 100644
--- a/main.tex
+++ b/main.tex
@@ -328,6 +328,14 @@ pourrait étendre, ce que l'on a déjà, ce qu'il reste à faire.
 \input{annexePreuveDistribution}
 \input{annexePreuveStopping}
 
+\chapter{Preuves sur le marquage de média}\label{anx:marquage}
+\section{Le marquage est $\epsilon$-sego-secure}
+\input{annexePreuveMarquagedhci}
+
+\section{Le mode $f_l$ est doublement stochastique}\label{anx:marquage:dblesto}
+\input{annexePreuveMarquagefldblement}
+
+
 \backmatter
 
 \bibliographystyle{apalike}