Open this publication in new window or tab >>2023 (English)In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF), Los Alamitos, CA, USA: IEEE Computer Society, 2023, p. 214-228Conference paper, Published paper (Refereed)
Abstract [en]
Providing authenticated interactions is a key responsibility of most cryptographic protocols. When designing new protocols with strict security requirements it is therefore essential to formally verify that they fulfil appropriate authentication properties. We identify a gap in the case of protocols with unilateral (one-way) authentication, where existing properties are poorly adapted. In existing work, there is a preference for defining strong authentication properties, which is good in many cases but not universally applicable. In this work we make the case for weaker authentication properties. In particular, we investigate one-way authentication and extend Lowe's authentication hierarchy with two such properties. We formally prove the relationship between the added and existing properties. Moreover, we demonstrate the usefulness of the added properties in a case study on remote attestation protocols. This work complements earlier work with additional generic properties that support formal verification of a wider set of protocol types.
Place, publisher, year, edition, pages
Los Alamitos, CA, USA: IEEE Computer Society, 2023
Series
Proceedings - IEEE Computer Security Foundations Symposium (CSF), ISSN 1940-1434, E-ISSN 2374-8303
Keywords
authentication, network-protocols, protocol-verification, formal-methods, verification
National Category
Computer Sciences
Identifiers
urn:nbn:se:liu:diva-197049 (URN)10.1109/CSF57540.2023.00025 (DOI)001061509400015 ()9798350321920 (ISBN)9798350321937 (ISBN)
Conference
2023 IEEE 36th Computer Security Foundations Symposium (CSF), Jul 07 2023 to Jul 10 2023, Dubrovnik, Croatia
Funder
Wallenberg AI, Autonomous Systems and Software Program (WASP)
Note
Funding: Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation
2023-08-212023-08-212025-01-28Bibliographically approved