% Authors : Barbara Kordy (barbara.kordy@uni.lu)
%           Patrick Schweitzer (patrick.schweitzer@uni.lu)
% Date : 25/06/2012
% (c) 2012 University of Luxembourg - Interdisciplinary Centre for Security 
% Reliability and Trust (SnT)
% All rights reserved

\documentclass{article}

\usepackage{ADT_web}
\usepackage[labelformat=empty]{caption}
\pagestyle{empty}

%------------------------------------------------------------------------------
\begin{document}

\begin{figure}
\centering
\psscalebox{1}{
\pstree[levelsep=60pt]{\NodeA{Lion}}{%
  \pstree{\NNodeA{Zoo}{Zoo}}{%
    \pstree{\NNodeA{Break}{Break-in}}{
      \NNodeA{Cutter}{Cutter}
      \NNodeA{Tranq}{Tranqui.}
    }
    \NNodeA{Truck}{Truck}
    \pstree{\NodeBC{Security}}{%
      \pstree{\NodeB{Cameras}}{
        \NodeAC{Paint}
      }
      \NodeB{Guards}
    }
  }
  \NodeA{Africa}
}
\Bogenlhs{Zoo}{Break}{Truck}
\Bogen{Break}{Cutter}{Tranq}

%Legend
\rput(2,0){
  \begin{tabular}{|cl|}
  \hline
  \hspace{1ex}$\ACC$ & attack node\\
  \hspace{1ex}$\DCC$ & defense node\\
  \hspace{2ex}\psline[linewidth=0.5pt](0,.3)(-.3,0)
    \psline[linewidth=0.5pt](0,.3)(-.1,0)
    \psline[linewidth=0.5pt](0,.3)(.1,0)
    & disjunctive refinement\\
  \hspace{2ex}\psline[linewidth=0.5pt](0,.3)(-.3,0)
    \psline[linewidth=0.5pt](0,.3)(-.1,0)
    \psline[linewidth=0.5pt](0,.3)(.1,0)
    \psarc[linewidth=0.5pt](0,.3){0.2cm}{225}{288}
    & conjunctive refinement\\
  \hspace{1ex}\psline[linewidth=1pt,linestyle=dotted](0,.25)(0,-.05)
    & countermeasure\\
  \hline
  \end{tabular}
  }

}
\caption{How to steal a lion?}
\label{fig:Steal_a_lion}
\end{figure}

\end{document}