
\begin{definition}[Embarquement dhCI étendu~\cite{bcg11b:ip}]
 \label{def:dhCI:ext}
 Soit un  hôte $x$, $u_m$ les indices de ses bits modifiables,
 $\phi_{m}$ leur valeur, 
 $y$ un message, $q$ un nombre d'itérations.
 L'algorithme d'embarquement retourne le 
 résultat de l'embarquement de  $\hat{y}$ dans $x$, t. q.:
 \begin{itemize}
 \item La fonction $f_l : \Bool^{l} \rightarrow \Bool^{l}$,  $l=|u_m|$. 
   %t.q. $\textsc{giu}(f_l)$ fortement connexe. 
 \item Une stratégie $(s_y)^{t \in \Nats} \in [l]^{\Nats}$
   est instanciée en fonction de $y$.
 \item $\hat{y}$ est définie par $(\hat{y},\_) = G_{f_l}^q(\phi_{m},s_y)$.
\end{itemize}
\end{definition}

\begin{theorem}[Stego-sécurité et chaos-sécurité~\cite{bcg11:ij}]
Si  $(s_y)$ est indépendante de $x$, 
si $f_l$ est tq.
$\textsc{giu}(f_l)$ fortement connexe et a une 
matrice de Markov doublement stochastique.
\begin{itemize}
\item Le marquage est $\epsilon$-stégo sécurisé.
\item Le marquage est chaos sécurisé.
\end{itemize}
\end{theorem}
\begin{itemize}
\item Particularisation dans différents domaines (spatial, fréquentiel).
\item Robustesse évaluée.
\end{itemize}
