% 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}[htb]
\centering
\psscalebox{1}{
\pstree[levelsep=80pt,treesep=0.4cm]{\NNodeA{Root}{Breaking\\and\\Entering}}{
  \pstree{\NNodeA{BE1}{Get\\onto\\Premises}}{
    \pstree{\NNodeA{Block1}{Climb\\over\\Fence}}{
        \pstree{\NNodeBC{Shield1}{Barbed\\Wire}}{
          \pstree{\NodeAC{Guard\\Against\\Barbs}}{
            \NodeA{Use\\Carpet\\on Barbs}
            \NodeA{Wear\\Protective\\Clothing}
          }
        }
      }
      \NodeA{Enter\\through\\Gate}
    }
  \pstree{\NNodeA{BE2}{Get\\into\\Ware-\\house}}{
    \pstree{\NodeA{Enter\\through\\Door}}{
      \NodeBC{Monitor\\with\\Biometric\\Sensors}
    }
    \NodeA{Enter\\through\\Loading\\Dock}
  }
  \pstree{\NodeBC{Monitor\\with\\Security\\Cameras}}{
    \pstree{\NodeAC{Disable\\Cameras}}{
      \pstree{\NodeA{Laser\\Cameras}}{
      }
      \pstree{\NodeA{Video\\Loop\\Cameras}}{
        \NodeBC{Employ\\Guards}
      }
    }
  }
}

\Arc{Root}{BE1}{BE2}


%Legend
\rput(-10.5,-0.25){
  \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{Breaking and entering into a warehouse.}
\label{fig:ADT_RFID_DOS}
\end{figure}

\end{document}