equal
deleted
inserted
replaced
54 |
54 |
55 \mprset{sep=0.9em} |
55 \mprset{sep=0.9em} |
56 %%\mprset{center=false} |
56 %%\mprset{center=false} |
57 \mprset{flushleft} |
57 \mprset{flushleft} |
58 \begin{document} |
58 \begin{document} |
59 \pagestyle{empty} |
59 %\pagestyle{empty} |
60 |
60 |
61 \noindent |
61 %\noindent |
62 The co-authors Xingyuan Zhang and Christian Urban attest that the student |
62 %The co-authors Xingyuan Zhang and Christian Urban attest that the student |
63 Chunhan Wu did all the central |
63 %Chunhan Wu did all the central |
64 work concerning the paper.\bigskip\bigskip |
64 %work concerning the paper.\bigskip\bigskip |
65 |
65 |
66 \includegraphics[scale=0.9]{xingyuan.jpg}\\ |
66 %\includegraphics[scale=0.9]{xingyuan.jpg}\\ |
67 \noindent |
67 %\noindent |
68 Xingyuan Zhang |
68 %Xingyuan Zhang |
69 \bigskip\bigskip |
69 %\bigskip\bigskip |
70 |
70 |
71 \mbox{}\hspace{-8mm}\includegraphics[scale=1.2]{christian.jpg}\\ |
71 %\mbox{}\hspace{-8mm}\includegraphics[scale=1.2]{christian.jpg}\\ |
72 \noindent |
72 %\noindent |
73 Christian Urban |
73 %Christian Urban |
74 |
74 |
75 |
75 |
76 \newpage |
76 \newpage |
77 |
77 |
78 \title{A Formal Model and Correctness Proof for an Access Control Policy Framework} |
78 \title{A Formal Model and Correctness Proof for an Access Control Policy Framework} |