/*****************************************************************************/
/*                                 Time-stamp: <13-01-2005 Mikael Buchholtz> */
/*                                                                           */
/* General parallel session scenario for nonce handshake where all pairs of  */
/* principals share a seperate keys.                                         */
/*****************************************************************************/


let X subset NATURAL1 in
let Y subset NATURAL1 in

(new_{i in X, j in Y} K_{i,j})(

/* Initiators A_i */
(|_{i in X} |_{j in Y} 
 ! (new n_{i,j}) 
   <A_{i}, B_{j}, n_{i,j}>.
   (B_{j}, A_{i}; x_{i,j}).
   decrypt x_{i,j} as {n_{i,j};}:K_{i,j} in 0)
|

/* Responders B_j */
(|_{j in Y} |_{i in X}
 ! (A_{i}, B_{j}; y_{i,j}).	   
   <B_{j}, A_{i}, {y_{i,j}}:K_{i,j}>. 0)
)