/*****************************************************************************/
/*                                 Time-stamp: <13-01-2005 Mikael Buchholtz> */
/*                                                                           */
/* Simple nonce handshake                                                    */
/*****************************************************************************/


(new K)
(

/* Initiators A */
( !(new n) <A, B, n>. (B, A; x). decrypt x as {n;}:K in 0)

|

/* Responders B */
( !(A, B; y). <B, A, {y}:K>. 0)
)