@misc{indiciaef195ac32e9ba,
  title = {Relaxed Conditions for Secrecy in a Role-Based Specification},
  author = {Jaouhar Fattahi and Mohamed Mejri and Hanane Houmani},
  year = {2018},
  url = {https://arxiv.org/abs/1801.08410},
  note = {Source identifier: 1801.08410}
}