sen-material: slides/slides11.tex@0c04ec017892 (annotated)

352 da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	\documentclass[dvipsnames,14pt,t]{beamer}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	\usepackage{../slides}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	\usepackage{../langs}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	\usepackage{../graphics}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	\usepackage{../data}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	\usepackage{../grammar}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	% beamer stuff
381 036a762b02cf updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 352 diff changeset	9	\renewcommand{\slidecaption}{SEN 11, King's College London}
352 da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	\newcommand{\bl}[1]{\textcolor{blue}{#1}}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	\begin{document}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	\begin{frame}[t]
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	\frametitle{%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	\begin{tabular}{@ {}c@ {}}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	\LARGE Access Control and \\[-3mm]
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	\LARGE Privacy Policies (11)\\[-6mm]
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	\end{tabular}}\bigskip\bigskip\bigskip
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	\normalsize
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	\begin{center}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	\begin{tabular}{ll}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26	Email: & christian.urban at kcl.ac.uk\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	Office: & S1.27 (1st floor Strand Building)\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	Slides: & KEATS (also homework is there)\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	\end{tabular}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	\end{center}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	\end{frame}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	\begin{frame}[c]
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	\begin{itemize}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	\item you can still send me your homework\bigskip
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	\item Unix AC question: use a terminal-based editor (vm,
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	vim)\bigskip
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	\item exams: 2 out of 3 questions, 5 or so subquestions
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	each, you can fill in your answers on the question sheet
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	\end{itemize}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	\end{frame}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	\begin{frame}[c]
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	\frametitle{Interlock Protocol}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	The interlock protocol (``best bet'' against MITM):
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	\begin{center}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	\begin{tabular}{ll@{\hspace{2mm}}l}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	1. & \bl{$A \to B :$} & \bl{$K^{pub}_A$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59	2. & \bl{$B \to A :$} & \bl{$K^{pub}_B$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	3. & & \bl{$\{A,m\}_{K^{pub}_B} \;\mapsto\; H_1,H_2$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	& & \bl{$\{B,m'\}_{K^{pub}_A} \;\mapsto\; M_1,M_2$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	4. & \bl{$A \to B :$} & \bl{$H_1$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	5. & \bl{$B \to A :$} & \bl{$\{H_1, M_1\}_{K^{pub}_A}$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	6. & \bl{$A \to B :$} & \bl{$\{H_2, M_1\}_{K^{pub}_B}$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	7. & \bl{$B \to A :$} & \bl{$M_2$}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	\end{tabular}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	\end{center}\pause
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	\footnotesize
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	\bl{$m$} = How is your grandmother? \bl{$m'$} = How is the
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	weather today in London?
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	\end{frame}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	\begin{frame}[c]
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	\begin{center}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	\begin{tabular}{l@{\hspace{9mm}}l}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	\begin{tabular}[t]{@{}l@{}}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	\bl{$A \to C : K^{pub}_A$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	\bl{$C \to B : K^{pub}_C$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	\bl{$B \to C : K^{pub}_B$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	\bl{$C \to A : K^{pub}_C$}\medskip\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86	\bl{$\{A,m\}_{K^{pub}_C} \;\mapsto\; H_1,H_2$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87	\bl{$\{B,n\}_{K^{pub}_C} \;\mapsto\; M_1,M_2$}\bigskip\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	\bl{$\{C,a\}_{K^{pub}_B} \;\mapsto\; C_1,C_2$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	\bl{$\{C,b\}_{K^{pub}_A} \;\mapsto\; D_1,D_2$}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90	\end{tabular} &
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	91	\begin{tabular}[t]{@{}l@{}}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92	\bl{$A \to C : H_1$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93	\bl{$C \to B : C_1$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	\bl{$B \to C : \{C_1, M_1\}_{K^{pub}_C}$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	\bl{$C \to A : \{H_1, D_1\}_{K^{pub}_A}$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	\bl{$A \to C : \{H_2, D_1\}_{K^{pub}_C}$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97	\bl{$C \to B : \{C_2, M_1\}_{K^{pub}_B}$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	98	\bl{$B \to C : M_2$}\\
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	99	\bl{$C \to A : D_2$}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100	\end{tabular}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	101	\end{tabular}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102	\end{center}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	104	\end{frame}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	107	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	108	\begin{frame}[c]
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	109
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	110	\begin{itemize}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	111	\item you have to ask something that cannot imitated
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	112	(requires \bl{$A$} and \bl{$B$} know each other)
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	113	\item what happens if \bl{$m$} and \bl{$n$} are voice
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	114	messages?\bigskip
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	115
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	116	\item the moral: establishing a secure connection from ``zero'' is
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	117	almost impossible---you need to rely on some established
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	118	trust\medskip
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	119
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	120	\item that is why we rely on certificates, which however are
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	121	badly, badly realised (just today a POODLE attack against SSL)
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	122
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	123	\end{itemize}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	124
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	125	\end{frame}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	126	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	127
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	128
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	129
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	130
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	131	\end{document}
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	132
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	133
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	134	%%% Local Variables:
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	135	%%% mode: latex
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	136	%%% TeX-master: t
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	137	%%% End:
da5713bcdbb0 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	138

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Thu, 15 Oct 2015 09:47:58 +0100
changeset 409	0c04ec017892
parent 381	036a762b02cf
child 435	4603e6bb80c8
permissions	-rw-r--r--