slides/slides04.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 30 Sep 2013 23:57:44 +0100
changeset 105 40c51038c9e4
parent 90 d1d07f05325a
child 117 59d3bf386a6d
permissions -rw-r--r--
added
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
\documentclass[dvipsnames,14pt,t]{beamer}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
     2
\usepackage{beamerthemeplaincu}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
     3
%\usepackage[T1]{fontenc}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
\usepackage[latin1]{inputenc}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
\usepackage{mathpartir}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
\usepackage[absolute,overlay]{textpos}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
\usepackage{ifthen}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
\usepackage{tikz}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
\usepackage{pgf}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
\usepackage{calc} 
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
\usepackage{ulem}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
\usepackage{courier}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
\usepackage{listings}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
\renewcommand{\uline}[1]{#1}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
\usetikzlibrary{arrows}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
\usetikzlibrary{automata}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
\usetikzlibrary{shapes}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
\usetikzlibrary{shadows}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
\usetikzlibrary{positioning}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
\usetikzlibrary{calc}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
\usepackage{graphicx} 
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
\definecolor{javared}{rgb}{0.6,0,0} % for strings
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
\definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
\definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
\definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
\lstset{language=Java,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
	basicstyle=\ttfamily,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
	keywordstyle=\color{javapurple}\bfseries,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
	stringstyle=\color{javagreen},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
	commentstyle=\color{javagreen},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
	morecomment=[s][\color{javadocblue}]{/**}{*/},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
	numbers=left,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
	numberstyle=\tiny\color{black},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
	stepnumber=1,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
	numbersep=10pt,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
	tabsize=2,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
	showspaces=false,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
	showstringspaces=false}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
\lstdefinelanguage{scala}{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
  morekeywords={abstract,case,catch,class,def,%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
    do,else,extends,false,final,finally,%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
    for,if,implicit,import,match,mixin,%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
    new,null,object,override,package,%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
    private,protected,requires,return,sealed,%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
    super,this,throw,trait,true,try,%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
    type,val,var,while,with,yield},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
  otherkeywords={=>,<-,<\%,<:,>:,\#,@},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
  sensitive=true,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
  morecomment=[l]{//},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
  morecomment=[n]{/*}{*/},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
  morestring=[b]",
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
  morestring=[b]',
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
  morestring=[b]"""
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
\lstset{language=Scala,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
	basicstyle=\ttfamily,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
	keywordstyle=\color{javapurple}\bfseries,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
	stringstyle=\color{javagreen},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
	commentstyle=\color{javagreen},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
	morecomment=[s][\color{javadocblue}]{/**}{*/},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
	numbers=left,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
	numberstyle=\tiny\color{black},
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
	stepnumber=1,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
	numbersep=10pt,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
	tabsize=2,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
	showspaces=false,
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
	showstringspaces=false}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
% beamer stuff 
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
    74
\renewcommand{\slidecaption}{APP 03, King's College London, 1 October 2013}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
\begin{document}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
\begin{frame}<1>[t]
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
\frametitle{%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
  \begin{tabular}{@ {}c@ {}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
  \\
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
  \LARGE Access Control and \\[-3mm] 
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
    86
  \LARGE Privacy Policies (2)\\[-6mm] 
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
  \end{tabular}}\bigskip\bigskip\bigskip
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
\normalsize
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
  \begin{center}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
  \begin{tabular}{ll}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
  Email:  & christian.urban at kcl.ac.uk\\
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
  Of$\!$fice: & S1.27 (1st floor Strand Building)\\
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
    94
  Slides: & KEATS (also home work is there)\\
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
  \end{tabular}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
  \end{center}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
\begin{frame}[c]
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
\begin{center}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   107
\includegraphics[scale=0.45]{pics/trainwreck.jpg}\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   108
one general defence mechanism is\\\alert{\bf defence in depth}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   109
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   110
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   111
  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   112
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   113
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   114
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   115
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   116
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   117
\begin{frame}<1-2>[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   118
\frametitle{Defence in Depth}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   119
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   120
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   121
\item \alt<1>{overlapping}{{\LARGE\bf overlapping}} systems designed to provide\\ security even if one of them fails.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   122
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   123
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   124
\only<2->{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   125
\begin{textblock}{11}(2,12)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   126
\small otherwise your ``added security'' can become the point of failure 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   127
\end{textblock}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   128
  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   129
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   130
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   132
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   133
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   134
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   135
\frametitle{PALs}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   136
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   137
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   138
\item \alert{Permissive Action Links} prevent unauthorised use of nuclear weapons (so the theory)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   139
\end{itemize}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   141
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   142
\includegraphics[scale=0.25]{pics/nuclear1.jpg}\hspace{3mm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   143
\includegraphics[scale=0.25]{pics/nuclear2.jpg}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   144
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   145
  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   146
  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   147
\onslide<3->{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   148
modern PALs also include a 2-person rule
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   149
} 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   150
 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   151
 \only<2->{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   152
\begin{textblock}{11}(3,2)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   153
\begin{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   154
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   155
{\begin{minipage}{8cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   156
US Air Force's Strategic Air Command worried that in times of need the 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   157
codes would not be available, so until 1977 quietly decided to set them 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   158
to 00000000\ldots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   159
\end{minipage}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   160
\end{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   161
\end{textblock}}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   162
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
  
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   164
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   165
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   166
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   167
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   168
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   169
\begin{frame}[c]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   171
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   172
\item until 1998, Britain had nuclear weapons that could be launched from airplanes\bigskip\pause
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   173
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   174
\item these weapons were armed with a bicycle key
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   175
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   176
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   177
\begin{tabular}[b]{c}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   178
\includegraphics[scale=1.05]{pics/britkeys1.jpg}\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   179
\small nuclear weapon keys
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   180
\end{tabular}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   181
\hspace{3mm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   182
\begin{tabular}[b]{c}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   183
\includegraphics[scale=0.35]{pics/britkeys2.jpg}\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   184
\small bicycle lock
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   185
\end{tabular}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   186
\end{center}\bigskip\pause
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   187
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   188
\item the current Trident nuclear weapons can be launched from a submarine without any code being transmitted
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   189
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   190
  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   191
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   192
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   193
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   194
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   195
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   196
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   197
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   198
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   199
\frametitle{Access Control in Unix}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   201
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   202
\item access control provided by the OS
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   203
\item authenticate principals (login)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   204
\item mediate access to files, ports, processes according to \alert{roles} (user ids)\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   205
\item roles get attached with privileges\bigskip\\%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   206
\hspace{8mm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   207
\begin{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   208
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   209
{\begin{minipage}{8cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   210
\alert{principle of least privilege:}\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   211
programs should only have as much privilege as they need 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   212
\end{minipage}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   213
\end{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   214
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   215
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   216
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   217
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   218
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   219
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   220
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   221
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   222
\frametitle{Access Control in Unix (2)}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   223
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   224
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   225
\item the idea is to restrict access to files and therefore lower the consequences of an attack\\[1cm]\mbox{}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   226
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   227
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   228
\begin{textblock}{1}(2.5,9.5)
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   229
  \begin{tikzpicture}[scale=1]
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   230
  
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   231
  \draw[line width=1mm] (-.3, 0) rectangle (1.5,2);
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   232
  \draw (4.7,1) node {Internet};
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   233
  \draw (0.6,1.7) node {\footnotesize Interface};
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   234
  \draw (0.6,-0.4) node {\footnotesize \begin{tabular}{c}unprivileged\\[-1mm] process\end{tabular}};
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   235
  \draw (-2.7,-0.4) node {\footnotesize \begin{tabular}{c}privileged\\[-1mm] process\end{tabular}};
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   236
  
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   237
  \draw[line width=1mm] (-1.8, 0) rectangle (-3.6,2);
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   238
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   239
  \draw[white] (1.7,1) node (X) {};
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   240
  \draw[white] (3.7,1) node (Y) {};
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   241
  \draw[red, <->, line width = 2mm] (X) -- (Y);
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   242
 
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   243
  \draw[red, <->, line width = 1mm] (-0.6,1) -- (-1.6,1);
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   244
  \end{tikzpicture}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   245
\end{textblock}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   246
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   247
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   248
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   249
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   250
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   251
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   252
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   253
\begin{frame}[t]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   254
\frametitle{Process Ownership}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   255
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   256
\begin{itemize}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   257
\item access control in Unix is very coarse
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   258
\end{itemize}\bigskip\bigskip\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   259
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   260
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   261
\begin{tabular}{c}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   262
root\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   263
\hline
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   264
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   265
user$_1$ user$_2$ \ldots www, mail, lp
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   266
\end{tabular}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   267
\end{center}\bigskip\bigskip\bigskip
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   268
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   269
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   270
\textcolor{gray}{\small root has UID $=$ 0}\\\pause
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   271
\textcolor{gray}{\small you also have groups that can share access to a file}\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   272
\textcolor{gray}{\small but it is difficult to exclude access selectively}\\
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   273
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   274
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   275
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   276
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   277
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   278
\begin{frame}[c]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   279
\frametitle{Access Control in Unix (2)}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   280
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   281
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   282
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   283
\item privileges are specified by file access permissions (``everything is a file'') 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   284
\item there are 9 (plus 2) bits that specify the permissions of a file
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   285
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   286
\begin{center}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   287
\begin{tabular}{l}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   288
\texttt{\$ ls - la}\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   289
\texttt{-rwxrw-r-{}- \hspace{3mm} foo\_file.txt}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   290
\end{tabular}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   291
\end{center}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   292
\end{itemize}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   293
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   294
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   295
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   296
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   297
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   298
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   299
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   300
\begin{frame}[c]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   301
\frametitle{Login Process}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   302
45
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   303
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   304
\begin{itemize}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   305
\item login processes run under UID $=$ 0\medskip 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   306
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   307
\texttt{ps -axl | grep login}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   308
\end{center}\medskip
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   309
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   310
\item after login, shells run under UID $=$ user (e.g.~501)\medskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   311
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   312
\texttt{id cu}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   313
\end{center}\medskip\pause
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   314
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   315
\item non-root users are not allowed to change the UID --- would break 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   316
access control
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   317
\item but needed for example for \texttt{passwd}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   318
\end{itemize}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   319
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   320
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   321
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   322
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   323
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   324
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   325
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   326
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   327
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   328
\frametitle{Setuid and Setgid}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   329
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   330
The solution is that unix file permissions are 9 + \underline{2 Bits}:
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   331
\alert{Setuid} and \alert{Setgid} Bits
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   332
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   333
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   334
\item When a file with setuid is executed, the resulting process will assume the UID given to the owner of the file. 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   335
\item This enables users to create processes as root (or another user).\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   336
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   337
\item Essential for changing passwords, for example.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   338
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   339
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   340
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   341
\texttt{chmod 4755 fobar\_file}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   342
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   343
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   344
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   345
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   346
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   347
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   348
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   349
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   350
\begin{frame}[c]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   351
\frametitle{\begin{tabular}{c}Privilege Separation in\\ OpenSSH\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   352
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   353
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   354
\begin{tikzpicture}[scale=1]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   355
  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   356
  \draw[line width=1mm] (0, 1.1) rectangle (1.2,2);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   357
  \draw (4.7,1) node {Internet};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   358
  \draw (0.6,1.7) node {\footnotesize Slave};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   359
  \draw[line width=1mm] (0, 0) rectangle (1.2,0.9);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   360
  \draw (0.6,1.7) node {\footnotesize Slave};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   361
  \draw (0.6,0.6) node {\footnotesize Slave};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   362
  \draw (0.6,-0.5) node {\footnotesize \begin{tabular}{c}unprivileged\\[-1mm] processes\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   363
  \draw (-2.7,-0.4) node {\footnotesize \begin{tabular}{c}privileged\\[-1mm] process\end{tabular}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   364
  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   365
  \draw[line width=1mm] (-1.8, 0) rectangle (-3.6,2);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   366
  \draw (-2.9,1.7) node {\footnotesize Monitor};
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   367
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   368
  \draw[white] (1.7,1) node (X) {};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   369
  \draw[white] (3.7,1) node (Y) {};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   370
  \draw[red, <->, line width = 2mm] (X) -- (Y);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   371
 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   372
  \draw[red, <->, line width = 1mm] (-0.4,1.4) -- (-1.4,1.1);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   373
  \draw[red, <->, line width = 1mm] (-0.4,0.6) -- (-1.4,0.9);
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   374
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   375
  \end{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   376
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   377
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   378
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   379
\item pre-authorisation slave 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   380
\item post-authorisation\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   381
\item 25\% codebase is privileged, 75\% is unprivileged
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   382
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   383
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   384
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   385
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   386
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   387
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   388
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   389
\frametitle{Network Applications}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   390
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   391
ideally network application in Unix should be designed as follows:
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   392
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   393
\begin{itemize}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   394
\item need two distinct processes
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   395
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   396
\item one that listens to the network; has no privilege
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   397
\item one that is privileged and listens to the latter only (but does not trust it)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   398
 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   399
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   400
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   401
\item to implement this you need a parent process, which forks a child process
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   402
\item this child process drops privileges and listens to hostile data\medskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   403
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   404
\item after authentication the parent forks again and the new child becomes the user
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   405
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   406
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   407
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   408
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   409
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   410
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   411
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   412
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   413
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   414
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   415
\frametitle{\begin{tabular}{@ {}c@ {}}Famous Security Flaws in Unix\end{tabular}}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   416
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   417
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   418
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   419
\item \texttt{lpr} unfortunately runs with root privileges; you had the option to delete files after printing \ldots\pause\pause
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   420
\item for debugging purposes (FreeBSD) Unix provides a ``core dump'', but allowed to follow links \ldots\pause
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   421
\item \texttt{mkdir foo} is owned by root\medskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   422
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   423
\texttt{-rwxr-xr-x  1 root  wheel /bin/mkdir}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   424
\end{center}\medskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   425
it first creates an i-node as root and then changes to ownership to the user's id\\ \textcolor{gray}{\small (automated with a shell script)}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   426
\end{itemize}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   427
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   428
\only<1>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   429
\begin{textblock}{1}(3,3)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   430
\begin{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   431
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   432
{\begin{minipage}{8cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   433
Only failure makes us experts.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   434
	-- Theo de Raadt (OpenBSD, OpenSSH)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   435
\end{minipage}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   436
\end{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   437
\end{textblock}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   438
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   439
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   440
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   441
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   442
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   443
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   444
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   445
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   446
\begin{frame}[c]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   447
\frametitle{\begin{tabular}{@ {}c@ {}}Other Problems\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   448
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   449
There are thing's you just cannot solve on the programming side:\bigskip
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   450
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   451
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   452
\item for system maintenance you often have \texttt{cron}-jobs cleaning \texttt{/tmp}\medskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   453
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   454
\item attacker:\\ 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   455
\texttt{mkdir /tmp/a; cat > /tmp/a/passwd}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   456
\item root:\\\texttt{rm /tmp/*/*}:
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   457
\item attacker:\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   458
\texttt{rm /tmp/a/passwd; rmdir /tmp/a;}\\\texttt{ln -s /etc /tmp/a}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   459
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   460
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   461
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   462
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   463
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   464
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   465
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   466
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   467
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   468
\frametitle{\begin{tabular}{@ {}c@ {}}Security Levels\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   469
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   470
Unix essentially can only distinguish between two security levels (root and non-root).
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   471
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   472
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   473
\item In military applications you often have many security levels (top-secret, secret, confidential, unclassified)\bigskip\pause 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   474
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   475
\item Information flow: Bell --- La Padula model
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   476
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   477
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   478
\item read: your own level and below
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   479
\item write: your own level and above
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   480
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   481
\end{itemize}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   482
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   483
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   484
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   485
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   486
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   487
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   488
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   489
\begin{frame}[c]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   490
\frametitle{\begin{tabular}{@ {}c@ {}}Security Levels (2)\end{tabular}}
45
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   491
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   492
\begin{itemize}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   493
\item Bell --- La Padula preserves data secrecy, but not data integrity\bigskip\pause
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   494
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   495
\item Biba model is for data integrity  
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   496
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   497
\begin{itemize}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   498
\item read: your own level and above
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   499
\item write: your own level and below
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   500
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   501
\end{itemize}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   502
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   503
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   504
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   505
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   506
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   507
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   508
\begin{frame}[c]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   509
\frametitle{\begin{tabular}{@ {}c@ {}}Access Control in 2000\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   510
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   511
According to Ross Anderson (1st edition of his book), some senior Microsoft people held the
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   512
following view:
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   513
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   514
\begin{center}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   515
\begin{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   516
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   517
{\begin{minipage}{10.5cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   518
\small Access control does not matter. Computers are becoming single-purpose
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   519
or single-user devices. Single-purpose devices, such as Web servers that deliver a single service, don't 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   520
need much in the way of access control as there's nothing for operating system access controls
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   521
to do; the job of separating users from each other is best left to application code. As for the PC
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   522
on your desk, if all the software on it comes from a single source, then again there's no need 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   523
for the operating system to provide separation. \hfill{}\textcolor{gray}{(in 2000)} 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   524
\end{minipage}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   525
\end{tikzpicture}
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   526
\end{center}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   527
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   528
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   529
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   530
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   531
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   532
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   533
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   534
\begin{frame}[t]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   535
\frametitle{\begin{tabular}{@ {}c@ {}}Research Problems\end{tabular}}
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   536
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   537
\begin{itemize}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   538
\item with access control we are back to 1970s\bigskip
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   539
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   540
\only<1>{
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   541
\begin{tikzpicture}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   542
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   543
{\begin{minipage}{10cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   544
\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.\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   545
\mbox{}\hfill--- Roger Needham
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   546
\end{minipage}};
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   547
\end{tikzpicture}}\pause
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   548
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   549
\item the largest research area in access control in 2000-07 has been ``Trusted Computing'', but thankfully it
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   550
is dead now\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   551
\item a useful research area is to not just have robust access control, but also usable access control --- by programmers and users\\ 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   552
(one possible answer is operating system virtualisation, e.g.~Xen, VMWare)\medskip\pause
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   553
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   554
\item electronic voting
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   555
\end{itemize}
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   556
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   557
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   558
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   559
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   560
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   561
\begin{frame}[t]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   562
\frametitle{\begin{tabular}{@ {}c@ {}}Mobile OS\end{tabular}}
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   563
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   564
\begin{itemize}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   565
\item iOS and Android solve the defence-in-depth problem by \alert{sandboxing} applications\bigskip
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   566
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   567
\item you as developer have to specify the resources an application needs
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   568
\item the OS provides a sandbox where access is restricted to only these resources
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   569
\end{itemize}
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   570
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   571
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   572
45
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   573
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   574
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   575
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   576
\mode<presentation>{
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   577
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   578
\frametitle{\begin{tabular}{@ {}c@ {}}Security Theatre\end{tabular}}
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   579
45
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   580
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   581
Security theatre is the practice of investing in countermeasures intended to provide the 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   582
\underline{feeling} of improved security while doing little or nothing to actually achieve it.\hfill{}\textcolor{gray}{Bruce Schneier}
45
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   583
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   584
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   585
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   586
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   587
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   588
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   589
\begin{frame}[c]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   590
\frametitle{\begin{tabular}{@ {}c@ {}}Security Theatre\end{tabular}}
45
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   591
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   592
\begin{itemize}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   593
\item for example, usual locks and strap seals are security theatre
45
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   594
\end{itemize}
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
   595
47
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   596
\begin{center}
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   597
\includegraphics[scale=0.45]{pics/seal.jpg}
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   598
\end{center}
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   599
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   600
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   601
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   602
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   603
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   604
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   605
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   606
\begin{frame}[c]
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   607
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   608
\begin{minipage}{11cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   609
From: Ross Anderson <Ross.Anderson@cl.cam.ac.uk>\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   610
To: cl-security-research@lists.cam.ac.uk\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   611
Subject: Tip off\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   612
Date: Tue, 02 Oct 2012 13:12:50 +0100\\
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   613
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   614
I received the following tip off, and have removed the sender's
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   615
coordinates. I suspect it is one of many security vendors who
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   616
don't even get the basics right; if you ever go to the RSA 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   617
conference, there are a thousand such firms in the hall, each
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   618
with several eager but ignorant salesmen. A trying experience.\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   619
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   620
Ross
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   621
\end{minipage}
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   622
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   623
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   624
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   625
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   626
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   627
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   628
\begin{frame}[c]
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   629
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   630
\begin{minipage}{11cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   631
I'd like to anonymously tip you off about this\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   632
product:\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   633
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   634
{\small http://www.strongauth.com/products/key-appliance.html}\\
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   635
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   636
It sounds really clever, doesn't it?\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   637
\ldots\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   638
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   639
Anyway, it occurred to me that you and your colleagues might have a
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   640
field day discovering weaknesses in the appliance and their
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   641
implementation of security.  However, whilst I'd be willing to help
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   642
and/or comment privately, it'd have to be off the record ;-)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   643
\end{minipage}
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   644
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   645
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   646
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   647
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   648
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   649
\mode<presentation>{
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   650
\begin{frame}[c]
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   651
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 1\end{tabular}}
43
Christian Urban <urbanc@in.tum.de>
parents: 41
diff changeset
   652
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   653
{\bf What assets are you trying to protect?}\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   654
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   655
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.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   656
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   657
\only<2>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   658
\begin{tikzpicture}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   659
\draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   660
{\begin{minipage}{10cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   661
\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.''
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   662
\end{minipage}};
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   663
\end{tikzpicture}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   664
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   665
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   666
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   667
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   668
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   669
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   670
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 2\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   671
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   672
{\bf What are the risks to these assets?}\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   673
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   674
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.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   675
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   676
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   677
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
41
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   678
105
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   679
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   680
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   681
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   682
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 3\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   683
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   684
{\bf How well does the security solution mitigate those risks?}\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   685
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   686
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.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   687
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   688
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   689
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   690
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   691
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   692
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   693
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   694
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 4\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   695
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   696
{\bf What other risks does the security solution cause?}\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   697
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   698
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.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   699
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   700
\end{frame}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   701
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   702
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   703
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   704
\mode<presentation>{
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   705
\begin{frame}[c]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   706
\frametitle{\begin{tabular}{@ {}c@ {}}Schneier: Step 5\end{tabular}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   707
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   708
{\bf What costs and trade-offs does the security solution impose?}\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   709
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 90
diff changeset
   710
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
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   711
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   712
\end{frame}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   713
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   714
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   715
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   716
\end{document}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   717
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   718
%%% Local Variables:  
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   719
%%% mode: latex
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   720
%%% TeX-master: t
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   721
%%% End: 
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   722