@book{Jacomme_2018,<br/><span class="tab"></span> title={An extensive formal analysis of multi-factor authentication protocols},<br/><span class="tab"></span> ISSN={2516-2314},<br/><span class="tab"></span> url={http://dx.doi.org/10.29007/xrx7},<br/><span class="tab"></span> DOI={10.29007/xrx7},<br/><span class="tab"></span> journal={EasyChair Preprints},<br/><span class="tab"></span> institution={EasyChair},<br/><span class="tab"></span> author={Jacomme,<br/><span class="tab"></span> Charlie and Kremer,<br/><span class="tab"></span> Steve},<br/><span class="tab"></span> year={2018},<br/><span class="tab"></span> month=apr }