/*
* A -> B : {| msg1(Na,A) |}pkB
* B -> A : {| msg2(Na,Nb,M,B) |}pkA
* A -> B : {| msg3(Nb) |}pkB
*
* NSL extended with a secret M that B sends to A.
* Here it is important that the nonce response Na from B to A is
* encrypted together with M. The response Nb from A to B may be
* sent in the open, though. (See nsl-with-secret-optimized.cry.)
*
* Christian Haack, v.1.1.0, 2006/2/20
*/