% 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{Child5}{Block\\Communi-\\cation}}
{
    \pstree{\NodeA{Block\\Tag\\Reader}}{
      \pstree{\NNodeA{Block1}{Shield\\Tag}}{
        \pstree{\NNodeA{Shield1}{Be in\\Vicinity\\of Tag}}{
          \NodeBC{Secure\\Ware-\\house}
        }
        \pstree{\NNodeA{Shield2}{Faraday\\Cage}}{
          \NodeA{Cage\\Around\\Reader}
          \NodeA{Cage\\Around\\Tag}
        }
      }
      \NodeA{Blocker\\Reader}
      \NodeA{Blocker\\Tag}
      \pstree{\NodeA{Jam\\Signal}}{
        \pstree{\NodeBC{Isolate\\Network}}{
          \NodeB{Secure\\Ware-\\house}
          \NodeB{Faraday\\Around\\Tag and\\Reader}
        }
      }
    }
    \pstree{\NodeA{Block\\Reader\\Backend}}{
      \pstree{\NodeA{DoS in\\Network}}{
      }
    }
    
  }

\Arc{Block1}{Shield1}{Shield2}
%\Bogen{TamperT1}{Kill1}{Kill4}

%Legend
\rput(-10,-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{How to block communication between an RFID reader and tag?}
\label{fig:ADT_RFID_DOS}
\end{figure}

\end{document}