Skip to main content

Table 2. Analyses performed for G1\(_{ A }\).

From: Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience

Analysis Strong Asm(s) Weak Asm(s) Atk
1 all \(-1\) all Yes
2 all all \(-1\) No
3 all all \(-m\) (\(1<m\le 4\)) *