slides/slides10.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 02 Dec 2014 02:29:37 +0000
changeset 339 0e78c809b17f
parent 154 525c512629c7
child 341 f652d17db871
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
\documentclass[dvipsnames,14pt,t]{beamer}
339
0e78c809b17f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 154
diff changeset
     2
\usepackage{../slides}
0e78c809b17f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 154
diff changeset
     3
\usepackage{../langs}
0e78c809b17f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 154
diff changeset
     4
\usepackage{../graphics}
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
% beamer stuff 
339
0e78c809b17f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 154
diff changeset
     7
\renewcommand{\slidecaption}{APP 10, King's College London}
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
\newcommand{\bl}[1]{\textcolor{blue}{#1}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
\begin{document}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
\begin{frame}<1>[t]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    15
\frametitle{%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    16
  \begin{tabular}{@ {}c@ {}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    17
  \\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    18
  \LARGE Access Control and \\[-3mm] 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    19
  \LARGE Privacy Policies (10)\\[-6mm] 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    20
  \end{tabular}}\bigskip\bigskip\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    21
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    22
  %\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    23
  %\includegraphics[scale=1.3]{pics/barrier.jpg}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    24
  %\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    25
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    26
\normalsize
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    27
  \begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    28
  \begin{tabular}{ll}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    29
  Email:  & christian.urban at kcl.ac.uk\\
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    30
  Office: & S1.27 (1st floor Strand Building)\\
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    31
  Slides: & KEATS (also homework is there)\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    32
  \end{tabular}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    33
  \end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    34
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    35
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    36
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    37
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    38
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    39
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    40
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    41
\begin{frame}[c]
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    42
\frametitle{\mbox{}\\[20mm]\huge Revision}
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    43
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    44
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    45
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
\begin{frame}[c]
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    50
\frametitle{1st Lecture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    51
153
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
    52
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
    53
\item hashes and salts to guaranty data integrity\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
    54
\item storing passwords (brute force attacks and dictionary attacks)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
    55
\end{itemize}
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    56
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    57
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    58
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    59
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    60
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    61
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    62
\begin{frame}[fragile,t]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    63
\frametitle{\begin{tabular}{c}2nd Lecture:\\ E-Voting\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    64
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    65
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    66
\item Integrity 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    67
\item Ballot Secrecy
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    68
\item Voter Authentication
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    69
\item Enfranchisement
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    70
\item Availability
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    71
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    72
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    73
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    74
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    75
\end{frame}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    76
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    77
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    78
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    79
\begin{frame}[fragile,t]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    80
\frametitle{\begin{tabular}{c}2nd Lecture:\\ E-Voting\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    81
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    82
Online Banking vs.~E-Voting
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    83
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    84
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    85
\item online banking: if fraud occurred you try to identify who did what (somebody's account got zero)\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    86
\item e-voting: some parts can be done electronically, but not the actual voting (final year project: online voting)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    87
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    89
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    90
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    91
\end{frame}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    92
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    93
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    94
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    95
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    96
\tikzset{alt/.code args={<#1>#2#3#4}{%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    97
  \alt<#1>{\pgfkeysalso{#2}}{\pgfkeysalso{#3}} % \pgfkeysalso doesn't change the path
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    98
}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
    99
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   100
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   101
\begin{frame}[t]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   102
\frametitle{\begin{tabular}{c}3rd Lecture:\\ Buffer Overflow Attacks\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   103
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   104
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   105
\item the problem arises from the way C/C++ organises its function calls\\[-8mm]\mbox{}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   106
\end{itemize}
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   107
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   108
\begin{center}
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   109
\begin{tikzpicture}[scale=1]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   110
%\draw[black!10,step=2mm] (0,0) grid (9,4);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   111
%\draw[black!10,thick,step=10mm] (0,0) grid (9,4);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   112
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   113
\node at (0.5,4.5) {\small\begin{tabular}{l}main\\[-2mm] prog.\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   114
\draw[line width=0mm, white, alt=<2->{fill=red}{fill=blue}] (0,2.5) rectangle (1,3.8);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   115
\draw[line width=0mm, white, alt=<9->{fill=red}{fill=blue}] (0,0.2) rectangle (1,0.5);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   116
\draw[line width=1mm, alt=<3->{fill=yellow}{fill=blue}] (0,2.0) rectangle (1,2.5);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   117
\draw[line width=1mm, alt=<6->{fill=red}{fill=blue}] (0,1.0) rectangle (1,2.0);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   118
\draw[line width=1mm, alt=<7->{fill=yellow}{fill=blue}] (0,0.5) rectangle (1,1.0);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   119
\draw[line width=1mm] (0,0) -- (0,4);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   120
\draw[line width=1mm] (1,0) -- (1,4);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   121
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   122
\node at (3.5,3.5) {\small\begin{tabular}{l}fact(n)\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   123
\draw[line width=1mm, alt=<{4-5,8}>{fill=red}{fill=blue}] (3,1.0) rectangle (4,3.0);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   124
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   125
\onslide<3-4>{\draw[->, line width=1mm,red] (1,2.3) to node [above,sloped,midway] {n=4} (3,3);}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   126
\onslide<5>{\draw[<-, line width=1mm,red] (1,2.3) to node [above,sloped,midway] {res=24} (3,1);}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   127
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   128
\onslide<7-8>{\draw[->, line width=1mm,red] (1,0.8) to node [above,sloped,midway] {n=3} (3,3);}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   129
\onslide<9>{\draw[<-, line width=1mm,red] (1,0.8) to node [above,sloped,midway] {res=6} (3,1);}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   130
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   131
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   132
\node at (7.75,3.9) {\small\begin{tabular}{l}stack\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   133
\draw[line width=1mm] (7,3.5) -- (7,0.5) -- (8.5,0.5) -- (8.5,3.5);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   134
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   135
\onslide<3,4,7,8>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   136
\node at (7.75, 0.8) {ret};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   137
\draw[line width=1mm] (7,1.1) -- (8.5,1.1);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   138
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   139
\onslide<3>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   140
\node at (7.75, 1.4) {4};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   141
\draw[line width=1mm] (7,1.7) -- (8.5,1.7);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   142
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   143
\onslide<7>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   144
\node at (7.75, 1.4) {3};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   145
\draw[line width=1mm] (7,1.7) -- (8.5,1.7);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   146
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   147
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   148
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   149
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   150
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   151
\end{tikzpicture}
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   152
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   153
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   154
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   155
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   156
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   157
\begin{frame}[t]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   158
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   159
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   160
\begin{tikzpicture}[scale=1]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   161
%\draw[black!10,step=2mm] (0,0) grid (9,4);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   162
%\draw[black!10,thick,step=10mm] (0,0) grid (9,4);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   163
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   164
\node at (0.5,4.5) {\small\begin{tabular}{l}main\\[-2mm] prog.\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   165
\draw[line width=0mm, white, alt=<2->{fill=red}{fill=blue}] (0,2.5) rectangle (1,3.8);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   166
\draw[line width=1mm, white, fill=blue] (0,1.0) rectangle (1,2.0);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   167
\draw[line width=1mm, alt=<3->{fill=yellow}{fill=blue}] (0,2.0) rectangle (1,2.5);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   168
\draw[line width=1mm] (0,0) -- (0,4);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   169
\draw[line width=1mm] (1,0) -- (1,4);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   171
\node at (3.5,3.5) {\small\begin{tabular}{l}fact(n)\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   172
\draw[line width=0mm, alt=<{4-}>{red, fill=red}{blue, fill=blue}] (3,2.8) rectangle (4,3.0);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   173
\draw[line width=0mm, alt=<{5-}>{red, fill=red}{blue, fill=blue}] (3,2.8) rectangle (4,2.0);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   174
\draw[line width=0mm, alt=<{7-}>{red, fill=red}{blue, fill=blue}] (3,2.0) rectangle (4,1.0);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   175
\draw[line width=1mm] (3,1.0) rectangle (4,3.0);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   176
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   177
\onslide<3->{\draw[->, line width=1mm,red] (1,2.3) to node [above,sloped,midway] {n=4} (3,3);}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   178
\onslide<5->{\draw[<-, line width=2mm,red] (4,2) to node [above,sloped,midway] 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   179
{\begin{tabular}{l}user\\[-1mm] input\end{tabular}} (6,2);}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   180
\onslide<8->{\draw[<-, line width=1mm,red] (1,-2) to (3,1);}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   181
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   182
\node at (7.75,3.9) {\small\begin{tabular}{l}stack\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   183
\draw[line width=1mm] (7,3.5) -- (7,0.5) -- (8.5,0.5) -- (8.5,3.5);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   184
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   185
\onslide<3->{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   186
\draw[line width=1mm,alt=<6->{fill=red}{fill=white}] (7,0.5) rectangle (8.5,1.1);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   187
\node at (7.75, 0.8) {\alt<6->{@a\#}{ret}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   188
\draw[line width=1mm,alt=<6->{fill=red}{fill=white}] (7,1.1) rectangle (8.5,1.7);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   189
\node at (7.75, 1.4) {\alt<6->{!?w;}4};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   190
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   191
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   192
\onslide<4->{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   193
\draw[line width=1mm,fill=red] (7,1.7) rectangle (8.5,3.0);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   194
\node[white] at (7.75, 2.4) {buffer};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   195
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   196
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   197
\end{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   198
\end{center}
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   199
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   200
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   201
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   202
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   203
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   204
\mode<presentation>{
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   205
\begin{frame}[t]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   206
\frametitle{\begin{tabular}{c}3rd Lecture:\\ Unix Access Control\end{tabular}}
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   207
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   208
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   209
\item privileges are specified by file access permissions (``everything is a file'') 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   210
\end{itemize}\medskip
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   211
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   212
\begin{center}
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   213
  \begin{tikzpicture}[scale=1]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   214
  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   215
  \draw[line width=1mm] (-.3, 0) rectangle (1.5,2);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   216
  \draw (4.7,1) node {Internet};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   217
  \draw (-2.7,1.7) node {\footnotesize Application};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   218
  \draw (0.6,1.7) node {\footnotesize Interface};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   219
  \draw (0.6,-0.4) node {\footnotesize \begin{tabular}{c}unprivileged\\[-1mm] process\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   220
  \draw (-2.7,-0.4) node {\footnotesize \begin{tabular}{c}privileged\\[-1mm] process\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   221
  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   222
  \draw[line width=1mm] (-1.8, 0) rectangle (-3.6,2);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   223
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   224
  \draw[white] (1.7,1) node (X) {};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   225
  \draw[white] (3.7,1) node (Y) {};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   226
  \draw[red, <->, line width = 2mm] (X) -- (Y);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   227
 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   228
  \draw[red, <->, line width = 1mm] (-0.6,1) -- (-1.6,1);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   229
  \end{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   230
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   231
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   232
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   233
\item the idea is make the attack surface smaller and 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   234
mitigate the consequences of an attack
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   235
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   236
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   237
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   238
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   239
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   240
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   241
\begin{frame}[fragile,t]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   242
\frametitle{\begin{tabular}{c}3rd Lecture:\\ Unix Access Control\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   243
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   244
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   245
\item when a file with setuid is executed, the resulting process will assume the 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   246
UID given to the owner of the file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   247
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   248
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   249
\small\tt
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   250
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   251
\begin{verbatim}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   252
$ ls -ld . * */*
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   253
drwxr-xr-x 1 ping staff  32768 Apr  2 2010 .
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   254
-rw----r-- 1 ping students  31359 Jul 24 2011 manual.txt
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   255
-r--rw--w- 1 bob students   4359 Jul 24 2011 report.txt
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   256
-rwsr--r-x 1 bob students 141359 Jun  1 2013 microedit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   257
dr--r-xr-x 1 bob staff  32768 Jul 23 2011 src
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   258
-rw-r--r-- 1 bob staff  81359 Feb 28 2012 src/code.c
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   259
-r--rw---- 1 emma students    959 Jan 23 2012 src/code.h
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   260
\end{verbatim}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   261
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   262
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   263
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   264
\end{frame}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   265
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   266
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   267
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   268
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   269
\begin{frame}[c]
154
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   270
\frametitle{\begin{tabular}{c}8th Lecture: Privacy\end{tabular}}
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   271
153
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   272
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   273
\item differential privacy for annonymizing research data
154
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   274
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   275
\begin{center}
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   276
User\;\;\;\;    
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   277
\begin{tabular}{c}
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   278
tell me \bl{$f(x)$} $\Rightarrow$\\
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   279
$\Leftarrow$ \bl{$f(x) + \text{noise}$}
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   280
\end{tabular}
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   281
\;\;\;\;\begin{tabular}{@{}c}
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   282
Database\\
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   283
\bl{$x_1, \ldots, x_n$}
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   284
\end{tabular}
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   285
\end{center}
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   286
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   287
\item \bl{$f(x)$} can be released, if \bl{$f$} is insensitive to
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   288
individual entries  \bl{$x_1, \ldots, x_n$}\\
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   289
\item The intuition: whatever is learned from the dataset would be learned regardless of whether
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   290
\bl{$x_i$} participates\bigskip\pause
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   291
153
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   292
\item Tor webservice
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   293
\end{itemize}
152
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   294
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   295
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   296
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   297
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 146
diff changeset
   298
153
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   299
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   300
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   301
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   302
\frametitle{\begin{tabular}{c}9th Lecture:\\ Privacy\end{tabular}}
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   303
153
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   304
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   305
\item zero-knowledge proofs
154
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   306
\item requires NP problems, for example graph isomorphisms\bigskip\pause
525c512629c7 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 153
diff changeset
   307
\item random number generators
153
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   308
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   309
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   310
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   311
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 152
diff changeset
   312
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  
88
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   313
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   314
\end{document}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   315
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   316
%%% Local Variables:  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   317
%%% mode: latex
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   318
%%% TeX-master: t
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   319
%%% End: 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   320