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


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


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



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


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


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



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


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


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



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


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


AuthenticateINITIATORBobToRESPONDERAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateINITIATORToRESPONDERAgreement_nb(Bob))
{true}



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


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


AuthenticateINITIATORBobToRESPONDERAgreement_nb [T= SYSTEM\diff(Sigma,AlphaAuthenticateINITIATORToRESPONDERAgreement_nb(Bob))
{true}
