@inproceedings{christofi:hal-01518237,
  TITLE = {{Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol}},
  AUTHOR = {Christofi, Maria and Gouget, Aline},
  URL = {https://inria.hal.science/hal-01518237},
  NOTE = {Part 8: Applied Cryptography, Anonymity and Trust},
  BOOKTITLE = {{27th Information Security and Privacy Conference (SEC)}},
  ADDRESS = {Heraklion, Crete, Greece},
  EDITOR = {Dimitris Gritzalis and Steven Furnell and Marianthi Theoharidou},
  PUBLISHER = {{Springer}},
  SERIES = {Information Security and Privacy Research},
  VOLUME = {AICT-376},
  PAGES = {299-314},
  YEAR = {2012},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-30436-1\_25},
  KEYWORDS = {privacy ; authentication ; mERA ; formal verification ; cryptographic protocol ; ProVerif},
  PDF = {https://inria.hal.science/hal-01518237/file/978-3-642-30436-1_25_Chapter.pdf},
  HAL_ID = {hal-01518237},
  HAL_VERSION = {v1},
}