fmouhart/thesis
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Some corrections

Browse Source
This commit is contained in:
Fabrice Mouhartem 2018-04-19 15:05:23 +02:00
parent 7afe13529e
commit 07ea8c5643
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
chap-GS-background.tex
View File

@ -168,6 +168,7 @@ provides $\join_{\user}$ with $(i,\scr_{i },\crt_{i })$.
\section{Associated Security Notions} \section{Associated Security Notions}
\addcontentsline{tof}{section}{\protect\numberline{\thesection} Notions de sécurité associées} \addcontentsline{tof}{section}{\protect\numberline{\thesection} Notions de sécurité associées}
\label{sse:gs-sec-notions}
\subsection{Oracles for Security Experiments} \subsection{Oracles for Security Experiments}
\addcontentsline{tof}{subsection}{\protect\numberline{\thesubsection} Oracles nécessaires à la définition des expériences de sécurité} \addcontentsline{tof}{subsection}{\protect\numberline{\thesubsection} Oracles nécessaires à la définition des expériences de sécurité}

2
chap-proofs.tex
View File

@ -115,7 +115,7 @@ an attack is successful if the probability that it succeed is noticeable.
\end{definition} \end{definition}
Once we defined these notions related to the core of the proof, we have to define the objects on what we work on. Once we defined these notions related to the core of the proof, we have to define the objects on what we work on.
Namely, defining \textit{what we want to prove}, and the hypotheses on which we rely, also called ``\textit{hardness assumption}''. Namely, defining \textit{what we want to prove}, and the hypotheses on which we rely, also called ``\textit{hardness assumptions}''.
\index{Hardness assumptions} \index{Hardness assumptions}
The details of the hardness assumptions we use are given in Chapter~\ref{ch:structures}. The details of the hardness assumptions we use are given in Chapter~\ref{ch:structures}.