LGSN1: basic protocol; no attack
LGSN2: no confounders; attack
LGSN3: basic protocol; replay attack on initiator
LGSN4: basic protocol; replay attack on responder
LGSN5: version using nonces; no attack
