622rand1.spl - 1 INITIATOR 1 RESPONDER : no attacks found


AuthenticateRESPONDERAliceToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Alice))
{true}


AuthenticateRESPONDERBobToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Bob))
{true}



622rand2.spl - 2 INITIATORS 1 RESPONDER : no attacks found


AuthenticateRESPONDERAliceToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Alice))
{true}


AuthenticateRESPONDERBobToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Bob))
{true}



622rand3.spl - 1 INITIATOR 2 RESPONDERS : no attacks found


AuthenticateRESPONDERAliceToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Alice))
{true}


AuthenticateRESPONDERBobToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Bob))
{true}



622rand4.spl - 2 INITIATORS 2 RESPONDERS : no attacks found


AuthenticateRESPONDERAliceToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Alice))
{true}


AuthenticateRESPONDERBobToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Bob))
{true}



622rand5.spl - 3 INITIATORS 2 RESPONDERS : no attacks found


AuthenticateRESPONDERAliceToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Alice))
{true}


AuthenticateRESPONDERBobToINITIATORAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateRESPONDERToINITIATORAgreement_na(Bob))
{true}



