equal
deleted
inserted
replaced
172 \item SELinux\\ (security enhanced Linux devloped by the NSA;\\ mandatory access control system)\bigskip |
172 \item SELinux\\ (security enhanced Linux devloped by the NSA;\\ mandatory access control system)\bigskip |
173 \item Role-Compatibility Model\\ (developed by Amon Ott;\\ main application in the |
173 \item Role-Compatibility Model\\ (developed by Amon Ott;\\ main application in the |
174 Apache server) |
174 Apache server) |
175 \end{itemize}} |
175 \end{itemize}} |
176 |
176 |
|
177 \only<3->{ |
|
178 \begin{textblock}{3}(10,9) |
|
179 \onslide<2-3>{ |
|
180 \begin{tikzpicture} |
|
181 \node at (0,0) [single arrow, fill=red,text=white, rotate=0, shape border rotate=180]{\mbox{\hspace{8mm}}}; |
|
182 \end{tikzpicture}} |
|
183 \end{textblock}} |
|
184 |
177 \end{frame} |
185 \end{frame} |
178 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
186 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
179 |
187 |
180 *} |
188 *} |
181 |
189 |
405 \end{minipage}}\bigskip\pause |
413 \end{minipage}}\bigskip\pause |
406 |
414 |
407 \colorbox{cream}{ |
415 \colorbox{cream}{ |
408 \begin{minipage}{10.5cm} |
416 \begin{minipage}{10.5cm} |
409 {\bf Thm (Completeness)}\\ |
417 {\bf Thm (Completeness)}\\ |
410 If an object is taintable and \emph{undeletable$^\star$}, then |
418 If an object is taintable in the OS and \emph{undeletable$^\star$}, then |
411 our test will find out that it is taintable. |
419 our test will find out that it is taintable. |
412 \end{minipage}}\medskip |
420 \end{minipage}}\medskip |
413 |
421 |
414 \small |
422 \small |
415 $^\star$ an object is \emph{undeleteable} if it exists in the initial state, |
423 $^\star$ an object is \emph{undeleteable} if it exists in the initial state, |
497 \end{itemize} |
505 \end{itemize} |
498 \end{frame}} |
506 \end{frame}} |
499 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
507 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
500 *} |
508 *} |
501 |
509 |
502 |
510 text_raw {* |
|
511 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
512 \mode<presentation>{ |
|
513 \begin{frame}[c] |
|
514 |
|
515 \begin{center} |
|
516 \alert{\bf\huge{Thanks!}}\bigskip |
|
517 |
|
518 \alert{\bf\huge{Questions?}} |
|
519 \end{center} |
|
520 |
|
521 \end{frame}} |
|
522 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
523 *} |
503 |
524 |
504 (*<*) |
525 (*<*) |
505 end |
526 end |
506 end |
527 end |
507 (*>*) |
528 (*>*) |