Algorithm 3 Contextual Challenge or Corroborated Revocation

Require: authenticated device $d_i$, risk $R_i$, context vector ${\mathsf{ctx}}_i$

1:  if  ${\mathsf{ctx}}_i.\mathsf{firmwareUpdate}=\mathsf{true}$ and  ${\theta }_{\mathrm{risk}}\le R_i<{\theta }_{\mathrm{revoke}}$ then

2:         return $\mathsf{Challenge}$

3: else if ${\mathsf{ctx}}_i.\mathsf{location}$ differs from registered class then

4:         return $\mathsf{Challenge}$

5: else if  ${\mathsf{ctx}}_i.\mathsf{nonceReuse}=\mathsf{true}$ and  ${\mathsf{ctx}}_i.\mathsf{confirmedReplay}=\mathsf{false}$ then

6:         return $\mathsf{Challenge}$

7: else if  ${\mathsf{ctx}}_i.\mathsf{confirmedReplay}=\mathsf{true}$ or  ${\mathsf{ctx}}_i.\mathsf{multiSignalAnomaly}=\mathsf{true}$ then

8:         return $\mathsf{Revoke}$

9: else if ${\mathsf{ctx}}_i.\mathsf{burstRate}$ exceeds policy then

10:         return $\mathsf{Challenge}$

11: else

12:         return $\mathsf{Accept}$

13: end if