\documentclass{article}

%\usepackage{fullpage}


\begin{document}


\thispagestyle{myheadings}
\markright{Guttman, 30 Aug  \hfill Paper Summary Sheet\quad}

%   \vspace{1cm}
%   \begin{center}
%     \bf Paper Summary Sheet
%   \end{center}

%\phantom{la\\}
\paragraph{Paper title and authors; where appeared. }

\begin{quote}
  Dolev and Yao, \emph{On the Security of Public Key Protocols}.  IEEE
  Trans. Inf. Theory, 1983.
\end{quote}


\paragraph{What is the main problem this paper attacks?}

\begin{quote}
  Suppose that we are given a ``ping-pong'' protocol in which two
  participants send messages back and forth, at each step applying a
  particular sequence of operators, including public key encryption
  and decryption.  How can we decide whether the adversary can
  manipulate the regular participants into disclosing a message $M$,
  which is supposed to remain secret?  
\end{quote}

%\vspace{2cm}

\paragraph{What solution does the paper propose?}

\begin{quote}
  The authors show that for simple protocols (``cascade'' protocols),
  a very simple balance property is enough.  For protocols that can
  add name stamps, and check whether an incoming message has the right
  name, they give a much more complicated algorithm.  
\end{quote}


%\vspace{3cm}

\paragraph{What central idea did the authors use to solve it?}

\begin{quote}
  They regard $E_x$ and $D_x$ as symbolic operators which cancel.
  They then solve the problems by analyzing string concatenations.  
\end{quote}


%\vspace{3cm}

\paragraph{What is a weakness or limitation of the paper?}

\begin{quote}
  The protocols in this paper never contain nonces, which makes the
  analysis problem far more complex, indeed undecidable in general.  
\end{quote}

%\vspace{3cm}

\paragraph{Why is this paper important?} 

\begin{quote}
  This paper introduced the idea of treating the cryptographic
  operators are purely symbolic operators with cancellation
  (rewriting) rules.  It also made clear that the strong
  Needham-Schroeder adversary model fits very nicely with symbolic
  analysis.  
\end{quote}

%\vspace{3cm}







\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
