Modelling Human Errors in FIDO2
Extending a Tamarin model of FIDO2 to capture inexperienced users making errors during protocol execution, together with a redefined model of agent compromise centred on the user’s view of the protocol.
Extending a Tamarin model of FIDO2 to capture inexperienced users making errors during protocol execution, together with a redefined model of agent compromise centred on the user’s view of the protocol.