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

diff --git a/main.tex b/main.tex
index f2b207d..2211b41 100644
--- a/main.tex
+++ b/main.tex
@@ -231,7 +231,10 @@ On montre qu'on a des résultats similaires.
 \part{Application au masquage d'information}
 
 
-\chapter{Formalisation du processus d'embarquement} % OXFORD
+\chapter{Formalisation du processus d'embarquement} 
+% OXFORD
+
+\input{oxford}
 
 \chapter{Des démarches plus classiques}
 
@@ -325,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}