- changed status to resolved
Attacker model: Renumber attackers, reference formal analysis
Issue #671
resolved
- add reference to and discussion on formal analysis to attacker model
- renumber attackers so that there are no gaps in the numbering.
Addressed in https://bitbucket.org/openid/fapi/pull-requests/455
Comments (1)
-
- Log in to comment
PR merged