author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Mon, 21 Oct 2013 23:57:41 +0100 | |
changeset 118 | a42bbdfe5dd9 |
parent 117 | 59d3bf386a6d |
child 119 | 0cea882f03c7 |
permissions | -rw-r--r-- |
41 | 1 |
\documentclass[dvipsnames,14pt,t]{beamer} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
2 |
\usepackage{beamerthemeplaincu} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
3 |
%\usepackage[T1]{fontenc} |
41 | 4 |
\usepackage[latin1]{inputenc} |
5 |
\usepackage{mathpartir} |
|
6 |
\usepackage[absolute,overlay]{textpos} |
|
7 |
\usepackage{ifthen} |
|
8 |
\usepackage{tikz} |
|
9 |
\usepackage{pgf} |
|
10 |
\usepackage{calc} |
|
11 |
\usepackage{ulem} |
|
12 |
\usepackage{courier} |
|
13 |
\usepackage{listings} |
|
14 |
\renewcommand{\uline}[1]{#1} |
|
15 |
\usetikzlibrary{arrows} |
|
16 |
\usetikzlibrary{automata} |
|
17 |
\usetikzlibrary{shapes} |
|
18 |
\usetikzlibrary{shadows} |
|
19 |
\usetikzlibrary{positioning} |
|
20 |
\usetikzlibrary{calc} |
|
21 |
\usepackage{graphicx} |
|
22 |
||
23 |
\definecolor{javared}{rgb}{0.6,0,0} % for strings |
|
24 |
\definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments |
|
25 |
\definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords |
|
26 |
\definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc |
|
27 |
||
28 |
\lstset{language=Java, |
|
29 |
basicstyle=\ttfamily, |
|
30 |
keywordstyle=\color{javapurple}\bfseries, |
|
31 |
stringstyle=\color{javagreen}, |
|
32 |
commentstyle=\color{javagreen}, |
|
33 |
morecomment=[s][\color{javadocblue}]{/**}{*/}, |
|
34 |
numbers=left, |
|
35 |
numberstyle=\tiny\color{black}, |
|
36 |
stepnumber=1, |
|
37 |
numbersep=10pt, |
|
38 |
tabsize=2, |
|
39 |
showspaces=false, |
|
40 |
showstringspaces=false} |
|
41 |
||
42 |
\lstdefinelanguage{scala}{ |
|
43 |
morekeywords={abstract,case,catch,class,def,% |
|
44 |
do,else,extends,false,final,finally,% |
|
45 |
for,if,implicit,import,match,mixin,% |
|
46 |
new,null,object,override,package,% |
|
47 |
private,protected,requires,return,sealed,% |
|
48 |
super,this,throw,trait,true,try,% |
|
49 |
type,val,var,while,with,yield}, |
|
50 |
otherkeywords={=>,<-,<\%,<:,>:,\#,@}, |
|
51 |
sensitive=true, |
|
52 |
morecomment=[l]{//}, |
|
53 |
morecomment=[n]{/*}{*/}, |
|
54 |
morestring=[b]", |
|
55 |
morestring=[b]', |
|
56 |
morestring=[b]""" |
|
57 |
} |
|
58 |
||
59 |
\lstset{language=Scala, |
|
60 |
basicstyle=\ttfamily, |
|
61 |
keywordstyle=\color{javapurple}\bfseries, |
|
62 |
stringstyle=\color{javagreen}, |
|
63 |
commentstyle=\color{javagreen}, |
|
64 |
morecomment=[s][\color{javadocblue}]{/**}{*/}, |
|
65 |
numbers=left, |
|
66 |
numberstyle=\tiny\color{black}, |
|
67 |
stepnumber=1, |
|
68 |
numbersep=10pt, |
|
69 |
tabsize=2, |
|
70 |
showspaces=false, |
|
71 |
showstringspaces=false} |
|
72 |
||
73 |
% beamer stuff |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
74 |
\renewcommand{\slidecaption}{APP 03, King's College London, 22 October 2014} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
75 |
\makeatletter |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
76 |
\def\verbatim@font{\consolas\footnotesize} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
77 |
\makeatother |
41 | 78 |
|
79 |
\begin{document} |
|
80 |
||
81 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
82 |
\mode<presentation>{ |
|
83 |
\begin{frame}<1>[t] |
|
84 |
\frametitle{% |
|
85 |
\begin{tabular}{@ {}c@ {}} |
|
86 |
\\ |
|
87 |
\LARGE Access Control and \\[-3mm] |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
88 |
\LARGE Privacy Policies (4)\\[-6mm] |
41 | 89 |
\end{tabular}}\bigskip\bigskip\bigskip |
90 |
||
91 |
\normalsize |
|
92 |
\begin{center} |
|
93 |
\begin{tabular}{ll} |
|
94 |
Email: & christian.urban at kcl.ac.uk\\ |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
95 |
Office: & S1.27 (1st floor Strand Building)\\ |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
96 |
Slides: & KEATS (also home work is there)\\ |
41 | 97 |
\end{tabular} |
98 |
\end{center} |
|
99 |
||
100 |
||
101 |
\end{frame}} |
|
102 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
103 |
||
104 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
105 |
\mode<presentation>{ |
|
106 |
\begin{frame}[c] |
|
107 |
||
108 |
\begin{center} |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
109 |
\includegraphics[scale=0.45]{pics/trainwreck.jpg}\\ |
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
110 |
two weeks ago: buffer overflow attacks |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
111 |
\end{center} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
112 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
113 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
114 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
115 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
116 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
117 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
118 |
\begin{frame}[fragile] |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
119 |
\frametitle{Buffer Overflows} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
120 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
121 |
\begin{verbatim} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
122 |
As a proof-of-concept, the following URL allows |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
123 |
attackers to control the return value saved on |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
124 |
the stack (the vulnerability is triggered when |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
125 |
executing "/usr/sbin/widget"): |
41 | 126 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
127 |
curl http://<target ip>/post_login.xml?hash=AAA...AAABBBB |
41 | 128 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
129 |
The value of the "hash" HTTP GET parameter consists in |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
130 |
292 occurrences of the 'A' character, followed by four |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
131 |
occurrences of character 'B'. In our lab setup, characters |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
132 |
'B' overwrite the saved program counter (%ra). |
41 | 133 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
134 |
Discovery date: 06/03/2013 |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
135 |
Release date: 02/08/2013 |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
136 |
\end{verbatim} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
137 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
138 |
\mbox{}\footnotesize\hfill\url{http://pastebin.com/vbiG42VD} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
139 |
\end{frame} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
140 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
141 |
|
41 | 142 |
|
143 |
||
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
144 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
145 |
\begin{frame}[fragile] |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
146 |
\frametitle{Backdoors} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
147 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
148 |
D-Link router flaw lets anyone login through "Joel's Backdoor":\medskip |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
149 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
150 |
If you tell your browser to identify itself as Joel's backdoor, instead of (say) |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
151 |
as Mozilla/5.0 AppleWebKit/536.30.1 Version/6.0.5, you're in without authentication.\medskip |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
152 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
153 |
"What is this string," I hear you ask? |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
154 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
155 |
You will laugh: it is |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
156 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
157 |
\begin{verbatim} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
158 |
xmlset_roodkcableoj28840ybtide |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
159 |
\end{verbatim} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
160 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
161 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
162 |
\hfill\footnotesize October 15, 2013\\ |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
163 |
\hfill\tiny\url{http://www.devttys0.com/2013/10/reverse-engineering-a-d-link-backdoor/} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
164 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
165 |
\end{frame} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
166 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
167 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
168 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
169 |
\mode<presentation>{ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
170 |
\begin{frame}[c] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
171 |
\frametitle{Access Control in Unix} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
172 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
173 |
\begin{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
174 |
\item access control provided by the OS |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
175 |
\item authenticate principals (login) |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
176 |
\item mediate access to files, ports, processes according to \alert{roles} (user ids)\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
177 |
\item roles get attached with privileges\bigskip\\% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
178 |
\hspace{8mm} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
179 |
\begin{tikzpicture} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
180 |
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
181 |
{\begin{minipage}{8cm} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
182 |
\alert{principle of least privilege:}\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
183 |
programs should only have as much privilege as they need |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
184 |
\end{minipage}}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
185 |
\end{tikzpicture} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
186 |
\end{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
187 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
188 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
189 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
190 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
191 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
192 |
\mode<presentation>{ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
193 |
\begin{frame}[c] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
194 |
\frametitle{Access Control in Unix (2)} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
195 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
196 |
\begin{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
197 |
\item the idea is to restrict access to files and therefore lower the consequences of an attack\\[1cm]\mbox{} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
198 |
\end{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
199 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
200 |
\begin{textblock}{1}(2.5,9.5) |
41 | 201 |
\begin{tikzpicture}[scale=1] |
202 |
||
203 |
\draw[line width=1mm] (-.3, 0) rectangle (1.5,2); |
|
204 |
\draw (4.7,1) node {Internet}; |
|
205 |
\draw (0.6,1.7) node {\footnotesize Interface}; |
|
206 |
\draw (0.6,-0.4) node {\footnotesize \begin{tabular}{c}unprivileged\\[-1mm] process\end{tabular}}; |
|
207 |
\draw (-2.7,-0.4) node {\footnotesize \begin{tabular}{c}privileged\\[-1mm] process\end{tabular}}; |
|
208 |
||
209 |
\draw[line width=1mm] (-1.8, 0) rectangle (-3.6,2); |
|
210 |
||
211 |
\draw[white] (1.7,1) node (X) {}; |
|
212 |
\draw[white] (3.7,1) node (Y) {}; |
|
213 |
\draw[red, <->, line width = 2mm] (X) -- (Y); |
|
214 |
||
215 |
\draw[red, <->, line width = 1mm] (-0.6,1) -- (-1.6,1); |
|
216 |
\end{tikzpicture} |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
217 |
\end{textblock} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
218 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
219 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
220 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
221 |
\newcommand{\bl}[1]{\textcolor{blue}{#1}} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
222 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
223 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
224 |
\begin{frame}[c] |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
225 |
\frametitle{Access Control} |
41 | 226 |
|
227 |
\begin{itemize} |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
228 |
\item \bl{Discretionary Access Control:}\mbox{}\medskip\\ \small Access to objects (files, directories, devices, etc.) is permitted |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
229 |
based on user identity. Each object is owned by a user. Owners can |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
230 |
specify freely (at their discretion) how they want to share their objects |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
231 |
with other users, by specifying which other users can have which |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
232 |
form of access to their objects.\medskip |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
233 |
Discretionary access control is implemented on any multi-user OS |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
234 |
(Unix, Windows NT, etc.). |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
235 |
\end{itemize} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
236 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
237 |
\end{frame} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
238 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
239 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
240 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
241 |
\begin{frame}[c] |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
242 |
\frametitle{Access Control} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
243 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
244 |
\begin{itemize} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
245 |
\item \bl{Mandatory Access Control:}\mbox{}\medskip\\ \small Access to objects is controlled by a system-wide policy, for example |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
246 |
to prevent certain flows of information. In some forms, the system maintains |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
247 |
security labels for both objects and subjects (processes, users), based on |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
248 |
which access is granted or denied. Labels can change as the result of an |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
249 |
access. Security policies are enforced without the cooperation of users or |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
250 |
application programs.\medskip |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
251 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
252 |
This is implemented today in special military operating system versions |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
253 |
(SELinux). |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
254 |
\end{itemize} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
255 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
256 |
\end{frame} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
257 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
41 | 258 |
|
259 |
||
260 |
||
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
261 |
|
41 | 262 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
263 |
\mode<presentation>{ |
|
264 |
\begin{frame}[c] |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
265 |
\frametitle{Discretionary Access Control} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
266 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
267 |
In its most generic form usually given by an Access Control Matrix |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
268 |
of the form |
41 | 269 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
270 |
\begin{center} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
271 |
\begin{tabular}{r|c|c|c} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
272 |
& /mail/jane & edit.exe & sendmail \\\hline |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
273 |
jane & r, w & r, x & r, x\\\hline |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
274 |
john & $\varnothing$ & r, w, x& r, x\\\hline |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
275 |
sendmail & a & $\varnothing$ & r, x\\ |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
276 |
\end{tabular} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
277 |
\end{center} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
278 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
279 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
280 |
access privileges: {\bf r}ead, {\bf w}rite, e{\bf x}ecute, {\bf a}ppend |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
281 |
\end{frame}} |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
282 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
283 |
|
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
284 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
285 |
\begin{frame}[c] |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
286 |
\frametitle{Mandatory Access Control} |
45 | 287 |
|
41 | 288 |
\begin{itemize} |
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
289 |
\item Restrictions to allowed information flows are not decided at the user’s |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
290 |
discretion (as with Unix chmod), but instead enforced by system policies. |
41 | 291 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
292 |
\item Mandatory access control mechanisms are aimed in particular at |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
293 |
preventing policy violations by untrusted application software, which |
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
294 |
typically have at least the same access privileges as the invoking user.\medskip |
41 | 295 |
|
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
296 |
Simple example: Air Gap Security. Uses completely separate network and computer hardware for different application classes. |
41 | 297 |
\end{itemize} |
298 |
||
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
299 |
\end{frame} |
41 | 300 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
301 |
||
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
302 |
|
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
303 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
304 |
\begin{frame}[c] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
305 |
\frametitle{The Bell/LaPadula Model} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
306 |
|
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
307 |
\begin{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
308 |
\item Formal policy model for mandatory access control in a military multi-level security environment. All subjects (processes, users, terminals) and data objects (files, directories, windows, connections) are labeled with a confidentiality level, e.g. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
309 |
\begin{center} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
310 |
unclassified < confidential < secret < top secret. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
311 |
\end{center} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
312 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
313 |
\item The system policy automatically prevents the flow of information from high-level objects to lower levels. A process that reads top secret data becomes tagged as top secret by the operating system, as will be all files into which it writes afterwards. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
314 |
%Each user has a maximum allowed confidentiality level specified and cannot receive data beyond that level. A selected set of trusted subjects is allowed to bypass the restrictions, in order to permit the declassification of information. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
315 |
\end{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
316 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
317 |
\end{frame} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
318 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
319 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
320 |
\mode<presentation>{ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
321 |
\begin{frame}[c] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
322 |
\frametitle{Bell-LaPadula} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
323 |
\small |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
324 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
325 |
\begin{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
326 |
\item \alert{Read Rule}: A principal \bl{$P$} can read an object \bl{$O$} if and only if |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
327 |
\bl{$P$}'s security level is at least as high as \bl{$O$}'s. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
328 |
\item \alert{Write Rule}: A principal \bl{$P$} can write an object \bl{$O$} if and only if |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
329 |
\bl{$O$}'s security level is at least as high as \bl{$P$}'s.\medskip |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
330 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
331 |
\item Meta-Rule: All principals in a system should have a sufficiently high security level |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
332 |
in order to access an object. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
333 |
\end{itemize}\bigskip |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
334 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
335 |
This restricts information flow $\Rightarrow$ military\bigskip\bigskip\pause |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
336 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
337 |
Bell-LaPadula: {\bf `no read up'} - {\bf `no write down'} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
338 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
339 |
\end{frame}} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
340 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
341 |
% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
342 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
343 |
\mode<presentation>{ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
344 |
\begin{frame}[c] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
345 |
\frametitle{\begin{tabular}{c}Principle of\\[-2mm] Least Privilege\end{tabular}} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
346 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
347 |
\begin{tikzpicture} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
348 |
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
349 |
{\normalsize\color{darkgray} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
350 |
\begin{minipage}{10cm}\raggedright |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
351 |
A principal should have as few privileges as possible to access a resource. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
352 |
\end{minipage}}; |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
353 |
\end{tikzpicture}\bigskip\bigskip |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
354 |
\small |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
355 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
356 |
\begin{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
357 |
\item Bob ($T\!S$) and Alice ($S$) want to communicate |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
358 |
\item[] $\Rightarrow$ Bob should lower his security level |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
359 |
\end{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
360 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
361 |
\end{frame}} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
362 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
363 |
% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
364 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
365 |
\mode<presentation>{ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
366 |
\begin{frame}[c] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
367 |
\frametitle{Biba Policy} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
368 |
\small |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
369 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
370 |
Data Integrity (rather than data confidentiality) |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
371 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
372 |
\begin{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
373 |
\item Biba: {\bf `no read down'} - {\bf `no write up'} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
374 |
\item \alert{Read Rule}: A principal \bl{$P$} can read an object \bl{$O$} if and only if |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
375 |
\bl{$P$}'s security level is lower or equal than \bl{$O$}'s. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
376 |
\item \alert{Write Rule}: A principal \bl{$P$} can write an object \bl{$O$} if and only if |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
377 |
\bl{$O$}'s security level is lower or equal than \bl{$P$}'s. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
378 |
\end{itemize}\bigskip\bigskip\pause |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
379 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
380 |
E.g.~Generals write orders to officers; officers write oders to solidiers\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
381 |
Firewall: you can read from inside the firewall, but not from outside\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
382 |
Phishing: you can look at an approved PDF, but not one from a random email\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
383 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
384 |
\end{frame}} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
385 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
386 |
% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
387 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
388 |
\mode<presentation>{ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
389 |
\begin{frame}[c] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
390 |
\frametitle{Shared Access Control} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
391 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
392 |
\begin{center} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
393 |
\includegraphics[scale=0.7]{pics/pointsplane.jpg} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
394 |
\end{center} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
395 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
396 |
\begin{textblock}{11}(10.5,10.5) |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
397 |
\small |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
398 |
To take an action you\\[-1mm] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
399 |
need at least either: |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
400 |
\begin{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
401 |
\item 1 CEO\\[-5mm] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
402 |
\item 2 MDs, or\\[-5mm] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
403 |
\item 3 Ds |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
404 |
\end{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
405 |
\end{textblock} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
406 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
407 |
\end{frame}} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
408 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
117
59d3bf386a6d
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
105
diff
changeset
|
409 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
410 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
411 |
\mode<presentation>{ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
412 |
\begin{frame}[c] |
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
413 |
\frametitle{Lessons from Access Control} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
414 |
|
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
415 |
Not just restricted to Unix: |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
416 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
417 |
\begin{itemize} |
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
418 |
\item if you have too many roles (i.e.~too finegrained AC), then |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
419 |
hierarchy is too complex\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
420 |
\textcolor{gray}{you invite situations like\ldots let's be root}\bigskip |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
421 |
|
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
422 |
\item you can still abuse the system\ldots |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
423 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
424 |
\end{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
425 |
|
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
426 |
\end{frame}} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
427 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
428 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
429 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
430 |
\mode<presentation>{ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
431 |
\begin{frame}[t] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
432 |
\frametitle{Protocols} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
433 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
434 |
\mbox{} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
435 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
436 |
\begin{tabular}{l} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
437 |
{\Large \bl{$A\;\text{sends}\; B : \ldots$}}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
438 |
\onslide<2->{\Large \bl{$B\;\text{sends}\; A : \ldots$}}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
439 |
\onslide<2->{\Large \;\;\;\;\;\bl{$:$}}\bigskip |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
440 |
\end{tabular} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
441 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
442 |
\begin{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
443 |
\item by convention \bl{$A$}, \bl{$B$} are named principals \bl{Alice\ldots}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
444 |
but most likely they are programs, which just follow some instructions (they are more like roles)\bigskip |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
445 |
\item<2-> indicates one ``protocol run'', or session, which specifies some |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
446 |
order in the communication |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
447 |
\item<2-> there can be several sessions in parallel (think of wifi routers) |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
448 |
\end{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
449 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
450 |
\end{frame}} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
451 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
452 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
453 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
454 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
455 |
\mode<presentation>{ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
456 |
\begin{frame}[c] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
457 |
\frametitle{A mutual authentication protocol} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
458 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
459 |
\begin{center} |
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
460 |
\begin{tabular}{ll} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
461 |
\bl{$A \rightarrow B$:} & \bl{$N_a$}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
462 |
\bl{$B \rightarrow A$:} & \bl{$\{N_a, N_b\}_{K_{ab}}$}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
463 |
\bl{$A \rightarrow B$:} & \bl{$N_b$}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
464 |
\end{tabular} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
465 |
\end{center} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
466 |
|
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
467 |
Explain how an attacker \bl{$B'$} can launch an impersonation attack by |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
468 |
intercepting all messages for \bl{$B$} and make \bl{$A$} decrypt her own challenges. |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
469 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
470 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
471 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
472 |
|
118
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
473 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
474 |
\mode<presentation>{ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
475 |
\begin{frame}[c] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
476 |
\frametitle{Nonces} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
477 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
478 |
\begin{enumerate} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
479 |
\item I generate a nonce (random number) and send it to you encrypted with a key we share |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
480 |
\item you increase it by one, encrypt it under a key I know and send |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
481 |
it back to me |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
482 |
\end{enumerate} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
483 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
484 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
485 |
I can infer: |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
486 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
487 |
\begin{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
488 |
\item you must have received my message |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
489 |
\item you could only have generated your answer after I send you my initial |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
490 |
message |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
491 |
\item if only you and me know the key, the message must have come from you |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
492 |
\end{itemize} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
493 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
494 |
\end{frame}} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
495 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
496 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
497 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
498 |
\mode<presentation>{ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
499 |
\begin{frame}[c] |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
500 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
501 |
\begin{center} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
502 |
\begin{tabular}{l} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
503 |
\bl{$A \rightarrow S :$} \bl{$A, B, N_A$}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
504 |
\bl{$S \rightarrow A :$} \bl{$\{N_A, B, K_{AB},\{K_{AB}, A\}_{K_{BS}} \}_{K_{AS}}$}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
505 |
\bl{$A \rightarrow B :$} \bl{$\{K_{AB}, A\}_{K_{BS}} $}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
506 |
\bl{$B \rightarrow A :$} \bl{$\{N_B\}_{K_{AB}}$}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
507 |
\bl{$A \rightarrow B :$} \bl{$\{N_B-1\}_{K_{AB}}$}\pause\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
508 |
\hspace{5cm}compromise \bl{$K_{AB}$}\pause\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
509 |
\bl{$A \rightarrow S :$} \bl{$A, B, N'_A$}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
510 |
\bl{$S \rightarrow A :$} \bl{$\{N'_A, B, K'_{AB},\{K'_{AB}, A\}_{K_{BS}} \}_{K_{AS}}$}\pause\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
511 |
\bl{$I(A) \rightarrow B :$} \bl{$\{K_{AB}, A\}_{K_{BS}} $}\hspace{0.5cm} replay of older run\pause\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
512 |
\bl{$B \rightarrow I(A) :$} \bl{$\{N'_B\}_{K_{AB}}$}\\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
513 |
\bl{$I(A) \rightarrow B :$} \bl{$\{N'_B-1\}_{K_{AB}}$}\ |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
514 |
\end{tabular} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
515 |
\end{center}\pause |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
516 |
|
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
517 |
\bl{$B$} believes it is following the correct protocol, |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
518 |
intruder \bl{$I$} can form the correct response because it knows \bl{$K_{AB}$} and |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
519 |
talks to \bl{$B$} masquerading as \bl{$A$} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
520 |
\end{frame}} |
a42bbdfe5dd9
more slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
117
diff
changeset
|
521 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
522 |
|
41 | 523 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
524 |
\mode<presentation>{ |
|
525 |
\begin{frame}[c] |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
526 |
\frametitle{\begin{tabular}{c}Privilege Separation in\\ OpenSSH\end{tabular}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
527 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
528 |
\begin{center} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
529 |
\begin{tikzpicture}[scale=1] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
530 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
531 |
\draw[line width=1mm] (0, 1.1) rectangle (1.2,2); |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
532 |
\draw (4.7,1) node {Internet}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
533 |
\draw (0.6,1.7) node {\footnotesize Slave}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
534 |
\draw[line width=1mm] (0, 0) rectangle (1.2,0.9); |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
535 |
\draw (0.6,1.7) node {\footnotesize Slave}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
536 |
\draw (0.6,0.6) node {\footnotesize Slave}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
537 |
\draw (0.6,-0.5) node {\footnotesize \begin{tabular}{c}unprivileged\\[-1mm] processes\end{tabular}}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
538 |
\draw (-2.7,-0.4) node {\footnotesize \begin{tabular}{c}privileged\\[-1mm] process\end{tabular}}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
539 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
540 |
\draw[line width=1mm] (-1.8, 0) rectangle (-3.6,2); |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
541 |
\draw (-2.9,1.7) node {\footnotesize Monitor}; |
41 | 542 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
543 |
\draw[white] (1.7,1) node (X) {}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
544 |
\draw[white] (3.7,1) node (Y) {}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
545 |
\draw[red, <->, line width = 2mm] (X) -- (Y); |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
546 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
547 |
\draw[red, <->, line width = 1mm] (-0.4,1.4) -- (-1.4,1.1); |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
548 |
\draw[red, <->, line width = 1mm] (-0.4,0.6) -- (-1.4,0.9); |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
549 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
550 |
\end{tikzpicture} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
551 |
\end{center} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
552 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
553 |
\begin{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
554 |
\item pre-authorisation slave |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
555 |
\item post-authorisation\bigskip |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
556 |
\item 25\% codebase is privileged, 75\% is unprivileged |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
557 |
\end{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
558 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
559 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
560 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
561 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
562 |
\mode<presentation>{ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
563 |
\begin{frame}[c] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
564 |
\frametitle{Network Applications} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
565 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
566 |
ideally network application in Unix should be designed as follows: |
41 | 567 |
|
568 |
\begin{itemize} |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
569 |
\item need two distinct processes |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
570 |
\begin{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
571 |
\item one that listens to the network; has no privilege |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
572 |
\item one that is privileged and listens to the latter only (but does not trust it) |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
573 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
574 |
\end{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
575 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
576 |
\item to implement this you need a parent process, which forks a child process |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
577 |
\item this child process drops privileges and listens to hostile data\medskip |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
578 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
579 |
\item after authentication the parent forks again and the new child becomes the user |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
580 |
\end{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
581 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
582 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
583 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
584 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
585 |
|
41 | 586 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
587 |
\mode<presentation>{ |
|
588 |
\begin{frame}[c] |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
589 |
\frametitle{\begin{tabular}{@ {}c@ {}}Security Levels\end{tabular}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
590 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
591 |
Unix essentially can only distinguish between two security levels (root and non-root). |
41 | 592 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
593 |
\begin{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
594 |
\item In military applications you often have many security levels (top-secret, secret, confidential, unclassified)\bigskip\pause |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
595 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
596 |
\item Information flow: Bell --- La Padula model |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
597 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
598 |
\begin{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
599 |
\item read: your own level and below |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
600 |
\item write: your own level and above |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
601 |
\end{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
602 |
\end{itemize} |
41 | 603 |
|
604 |
\end{frame}} |
|
605 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
606 |
||
607 |
||
608 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
609 |
\mode<presentation>{ |
|
610 |
\begin{frame}[c] |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
611 |
\frametitle{\begin{tabular}{@ {}c@ {}}Security Levels (2)\end{tabular}} |
45 | 612 |
|
41 | 613 |
\begin{itemize} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
614 |
\item Bell --- La Padula preserves data secrecy, but not data integrity\bigskip\pause |
41 | 615 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
616 |
\item Biba model is for data integrity |
41 | 617 |
|
618 |
\begin{itemize} |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
619 |
\item read: your own level and above |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
620 |
\item write: your own level and below |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
621 |
\end{itemize} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
622 |
\end{itemize} |
41 | 623 |
|
624 |
\end{frame}} |
|
625 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
626 |
||
627 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
628 |
\mode<presentation>{ |
|
629 |
\begin{frame}[c] |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
630 |
\frametitle{\begin{tabular}{@ {}c@ {}}Access Control in 2000\end{tabular}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
631 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
632 |
According to Ross Anderson (1st edition of his book), some senior Microsoft people held the |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
633 |
following view: |
41 | 634 |
|
635 |
\begin{center} |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
636 |
\begin{tikzpicture} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
637 |
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
638 |
{\begin{minipage}{10.5cm} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
639 |
\small Access control does not matter. Computers are becoming single-purpose |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
640 |
or single-user devices. Single-purpose devices, such as Web servers that deliver a single service, don't |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
641 |
need much in the way of access control as there's nothing for operating system access controls |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
642 |
to do; the job of separating users from each other is best left to application code. As for the PC |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
643 |
on your desk, if all the software on it comes from a single source, then again there's no need |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
644 |
for the operating system to provide separation. \hfill{}\textcolor{gray}{(in 2000)} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
645 |
\end{minipage}}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
646 |
\end{tikzpicture} |
41 | 647 |
\end{center} |
648 |
||
649 |
\end{frame}} |
|
650 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
651 |
||
652 |
||
653 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
654 |
\mode<presentation>{ |
|
655 |
\begin{frame}[t] |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
656 |
\frametitle{\begin{tabular}{@ {}c@ {}}Research Problems\end{tabular}} |
43 | 657 |
|
658 |
\begin{itemize} |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
659 |
\item with access control we are back to 1970s\bigskip |
43 | 660 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
661 |
\only<1>{ |
43 | 662 |
\begin{tikzpicture} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
663 |
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
664 |
{\begin{minipage}{10cm} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
665 |
\small Going all the way back to early time-sharing systems we systems people regarded the users, and any code they wrote, as the mortal enemies of us and each other. We were like the police force in a violent slum.\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
666 |
\mbox{}\hfill--- Roger Needham |
43 | 667 |
\end{minipage}}; |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
668 |
\end{tikzpicture}}\pause |
43 | 669 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
670 |
\item the largest research area in access control in 2000-07 has been ``Trusted Computing'', but thankfully it |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
671 |
is dead now\bigskip |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
672 |
\item a useful research area is to not just have robust access control, but also usable access control --- by programmers and users\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
673 |
(one possible answer is operating system virtualisation, e.g.~Xen, VMWare)\medskip\pause |
43 | 674 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
675 |
\item electronic voting |
43 | 676 |
\end{itemize} |
677 |
\end{frame}} |
|
678 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
679 |
||
680 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
681 |
\mode<presentation>{ |
|
682 |
\begin{frame}[t] |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
683 |
\frametitle{\begin{tabular}{@ {}c@ {}}Mobile OS\end{tabular}} |
43 | 684 |
|
685 |
\begin{itemize} |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
686 |
\item iOS and Android solve the defence-in-depth problem by \alert{sandboxing} applications\bigskip |
43 | 687 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
688 |
\item you as developer have to specify the resources an application needs |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
689 |
\item the OS provides a sandbox where access is restricted to only these resources |
43 | 690 |
\end{itemize} |
691 |
\end{frame}} |
|
692 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
693 |
||
45 | 694 |
|
695 |
||
696 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
697 |
\mode<presentation>{ |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
698 |
\begin{frame}[c] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
699 |
\frametitle{\begin{tabular}{@ {}c@ {}}Security Theatre\end{tabular}} |
43 | 700 |
|
45 | 701 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
702 |
Security theatre is the practice of investing in countermeasures intended to provide the |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
703 |
\underline{feeling} of improved security while doing little or nothing to actually achieve it.\hfill{}\textcolor{gray}{Bruce Schneier} |
45 | 704 |
|
705 |
\end{frame}} |
|
706 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
707 |
||
708 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
709 |
\mode<presentation>{ |
|
710 |
\begin{frame}[c] |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
711 |
\frametitle{\begin{tabular}{@ {}c@ {}}Security Theatre\end{tabular}} |
45 | 712 |
|
713 |
\begin{itemize} |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
714 |
\item for example, usual locks and strap seals are security theatre |
45 | 715 |
\end{itemize} |
716 |
||
47 | 717 |
\begin{center} |
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
718 |
\includegraphics[scale=0.45]{pics/seal.jpg} |
43 | 719 |
\end{center} |
720 |
||
721 |
||
722 |
\end{frame}} |
|
723 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
724 |
||
725 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
726 |
\mode<presentation>{ |
|
727 |
\begin{frame}[c] |
|
728 |
||
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
729 |
\begin{minipage}{11cm} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
730 |
From: Ross Anderson <Ross.Anderson@cl.cam.ac.uk>\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
731 |
To: cl-security-research@lists.cam.ac.uk\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
732 |
Subject: Tip off\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
733 |
Date: Tue, 02 Oct 2012 13:12:50 +0100\\ |
43 | 734 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
735 |
I received the following tip off, and have removed the sender's |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
736 |
coordinates. I suspect it is one of many security vendors who |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
737 |
don't even get the basics right; if you ever go to the RSA |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
738 |
conference, there are a thousand such firms in the hall, each |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
739 |
with several eager but ignorant salesmen. A trying experience.\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
740 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
741 |
Ross |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
742 |
\end{minipage} |
43 | 743 |
|
744 |
\end{frame}} |
|
745 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
746 |
||
747 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
748 |
\mode<presentation>{ |
|
749 |
\begin{frame}[c] |
|
750 |
||
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
751 |
\begin{minipage}{11cm} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
752 |
I'd like to anonymously tip you off about this\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
753 |
product:\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
754 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
755 |
{\small http://www.strongauth.com/products/key-appliance.html}\\ |
43 | 756 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
757 |
It sounds really clever, doesn't it?\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
758 |
\ldots\\ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
759 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
760 |
Anyway, it occurred to me that you and your colleagues might have a |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
761 |
field day discovering weaknesses in the appliance and their |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
762 |
implementation of security. However, whilst I'd be willing to help |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
763 |
and/or comment privately, it'd have to be off the record ;-) |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
764 |
\end{minipage} |
43 | 765 |
|
766 |
\end{frame}} |
|
767 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
768 |
||
769 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
770 |
\mode<presentation>{ |
|
771 |
\begin{frame}[c] |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
772 |
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 1\end{tabular}} |
43 | 773 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
774 |
{\bf What assets are you trying to protect?}\bigskip |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
775 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
776 |
This question might seem basic, but a surprising number of people never ask it. The question involves understanding the scope of the problem. For example, securing an airplane, an airport, commercial aviation, the transportation system, and a nation against terrorism are all different security problems, and require different solutions. |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
777 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
778 |
\only<2>{ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
779 |
\begin{tikzpicture} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
780 |
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
781 |
{\begin{minipage}{10cm} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
782 |
\small You like to prevent: ``It would be terrible if this sort of attack ever happens; we need to do everything in our power to prevent it.'' |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
783 |
\end{minipage}}; |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
784 |
\end{tikzpicture}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
785 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
786 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
787 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
788 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
789 |
\mode<presentation>{ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
790 |
\begin{frame}[c] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
791 |
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 2\end{tabular}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
792 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
793 |
{\bf What are the risks to these assets?}\bigskip |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
794 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
795 |
Here we consider the need for security. Answering it involves understanding what is being defended, what the consequences are if it is successfully attacked, who wants to attack it, how they might attack it, and why. |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
796 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
797 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
798 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
41 | 799 |
|
105
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
800 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
801 |
\mode<presentation>{ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
802 |
\begin{frame}[c] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
803 |
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 3\end{tabular}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
804 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
805 |
{\bf How well does the security solution mitigate those risks?}\bigskip |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
806 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
807 |
Another seemingly obvious question, but one that is frequently ignored. If the security solution doesnÕt solve the problem, it's no good. This is not as simple as looking at the security solution and seeing how well it works. It involves looking at how the security solution interacts with everything around it, evaluating both its operation and its failures. |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
808 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
809 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
810 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
811 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
812 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
813 |
\mode<presentation>{ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
814 |
\begin{frame}[c] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
815 |
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 4\end{tabular}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
816 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
817 |
{\bf What other risks does the security solution cause?}\bigskip |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
818 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
819 |
This question addresses what might be called the problem of unintended consequences. Security solutions have ripple effects, and most cause new security problems. The trick is to understand the new problems and make sure they are smaller than the old ones. |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
820 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
821 |
\end{frame}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
822 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
823 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
824 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
825 |
\mode<presentation>{ |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
826 |
\begin{frame}[c] |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
827 |
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 5\end{tabular}} |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
828 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
829 |
{\bf What costs and trade-offs does the security solution impose?}\bigskip |
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
830 |
|
40c51038c9e4
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
831 |
Every security system has costs and requires trade-offs. Most security costs money, sometimes substantial amounts; but other trade-offs may be more important, ranging from matters of convenience and comfort to issues involving basic freedoms like privacy. Understanding these trade-offs is essential. |
41 | 832 |
|
833 |
\end{frame}} |
|
834 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
835 |
||
836 |
||
837 |
\end{document} |
|
838 |
||
839 |
%%% Local Variables: |
|
840 |
%%% mode: latex |
|
841 |
%%% TeX-master: t |
|
842 |
%%% End: |
|
843 |