Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Steve Kremer
Publications
An extensive formal analysis of multi-factor authentication protocols
Charlie Jacomme
and
Steve Kremer
EasyChair Preprint no. 79
Keyphrases
Authentication
,
automated verification
,
formal analysis
,
multi-factor
,
protocol verification
.
Copyright © 2012-2023 easychair.org. All rights reserved.
