Formalising Application-Driven Authentication & Access-Control based on Users’ Companion Devices-Reference-Cited by-同舟云学术

Formalising Application-Driven Authentication & Access-Control based on Users’ Companion Devices

Published:2023-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM Asia Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Culnane Chris¹^ORCID,Boureanu Ioana²^ORCID,Snyman Jean²^ORCID,Wesemeyer Stephan²^ORCID,Treharne Helen²^ORCID

Affiliation:

1. Castellate Consulting Ltd, United Kingdom

2. Surrey Centre for Cyber Security, University of Surrey, United Kingdom

Publisher

ACM

Reference42 articles.

1. FIDO Alliance. 2023. User Authentication Specifications Overview. https://fidoalliance.org/specifications/. FIDO Alliance. 2023. User Authentication Specifications Overview. https://fidoalliance.org/specifications/.

2. A. Armando D. Basin Y. Boichut and etal2005. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In CAV. A. Armando D. Basin Y. Boichut and et al.2005. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In CAV.

3. David Basin Jannik Dreier Lucca Hirschi Saša Radomirovic Ralf Sasse and Vincent Stettler. 2018. A Formal Analysis of 5G Authentication. In CCS. 1383–1396. David Basin Jannik Dreier Lucca Hirschi Saša Radomirovic Ralf Sasse and Vincent Stettler. 2018. A Formal Analysis of 5G Authentication. In CCS. 1383–1396.

4. David A. Basin , Ralf Sasse , and Jorge Toro-Pozo . 2021. The EMV Standard: Break , Fix, Verify. In Security and Privacy (SP) 2021 . David A. Basin, Ralf Sasse, and Jorge Toro-Pozo. 2021. The EMV Standard: Break, Fix, Verify. In Security and Privacy (SP) 2021.

5. B. Blanchet . 2001. An Efficient Cryptographic Protocol Verifier Based on Prolog Rules . In IEEE CSFW. B. Blanchet. 2001. An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In IEEE CSFW.