Skip to Main content Skip to Navigation
Conference papers

Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol

Abstract : Internet services such as online banking, social networking and other web services require identification and authentication means. The European Citizen card can be used to provide a privacy-preserving authentication for Internet services enabling e.g. an anonymous age verification or other forms of anonymous attribute verification. The Modular Enhanced Symmetric Role Authentication (mERA) - based eServices with trusted third party protocol is a privacy-preserving protocol based on eID card recently standardized at CEN TC224 WG16. In this paper, we provide a formal analysis of its security by verifying formally several properties, such as secrecy, message authentication, unlinkability, as well as its liveness property. In the course of this verification, we obtain positive results about this protocol. We implement this verification with the ProVerif tool.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, May 4, 2017 - 1:45:31 PM
Last modification on : Wednesday, October 20, 2021 - 12:24:14 AM
Long-term archiving on: : Saturday, August 5, 2017 - 1:22:57 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Maria Christofi, Aline Gouget. Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol. 27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.299-314, ⟨10.1007/978-3-642-30436-1_25⟩. ⟨hal-01518237⟩



Record views


Files downloads