diff --git a/thesis/02_background.tex b/thesis/02_background.tex index dab3707..d4f58d1 100644 --- a/thesis/02_background.tex +++ b/thesis/02_background.tex @@ -134,10 +134,10 @@ There exists no source of trust and hence no check for integrity or intended exe The \emph{Trusted Computing Group} (TCG) introduced their first standard for a new {Trusted Computing Module} (TPM) in 2004. As part in this standard, TCG defined a procedure where every step in the early boot process is measured and saved in a \emph{Platform Configuration Register} (PCR). In this context, \emph{Measuring} means a simple cryptographic extension function: -\begin{equation} +\begin{equation*} \text{new\_PCR} = hash(\text{old\_PCR}\,||\,\text{data}). \label{form:PCR-measurement} -\end{equation} +\end{equation*} The function $||$ represents a concatenation of two binary strings and the hash function is either SHA1 or SHA256. In recent TPM-platforms, both hashing algorithms can be performed for each measurement. Consequently, both hash results are available for further computations. @@ -561,7 +561,7 @@ These extensions were omitted in the following to understand the protocol more e \item \emph{Link.} After proving validity of the signature, the verifier can test, whether two different messages with the same basename $\bsn \neq\bot$ are generated from the same TPM. - On input \textsf{LINK}$(\sigma, m, \sigma', m', bsn)$, \verifier{} verifies the signatures and compares the pseudonyms contained in $\sigma, \sigma'$: + On input \textsf{LINK}$(\sigma, m, \sigma', m', bsn)$, \verifier{} verifies the signatures and compares the \texttt{nyms} contained in $\sigma, \sigma'$: \begin{itemize} \item Check that $\bsn\neq\bot$ and that both signatures $\sigma, \sigma'$ are valid. \item Parse the signatures $\sigma\leftarrow(a,b,c,d,\pi,\nym)$, $\sigma'\leftarrow(a',b',c',d',\pi',\nym')$. diff --git a/thesis/04_implementation.tex b/thesis/04_implementation.tex index cfb1d7c..fe6fd56 100644 --- a/thesis/04_implementation.tex +++ b/thesis/04_implementation.tex @@ -27,7 +27,7 @@ All features used in this thesis were available on both platform types, so there \centering \caption{Systems used for demonstration prototype} \label{tab:systems} %\rowcolors{2}{lightgray}{white} - \begin{tabular}{rp{3.7cm}p{3.7cm}p{3.7cm}} + \begin{tabular}{rp{3.6cm}p{3.7cm}p{3.7cm}} \toprule &\textit{System 1}&\textit{System 2}&\textit{System 3} \\ \midrule diff --git a/thesis/MAIN.pdf b/thesis/MAIN.pdf index 3ced2e2..f87e143 100644 Binary files a/thesis/MAIN.pdf and b/thesis/MAIN.pdf differ